poor PG man's workaround for coq/coq#11479 #647
hendriktewstest.yml
on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
228 errors and 138 warnings
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 1/7 goals-after-auto (0.228354 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 2/7 goals-after-comment (0.156916 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 3/7 goals-after-error (0.159606 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 4/7 goals-after-proof (0.157835 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.170091 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/7 goals-after-auto (0.289065 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/7 goals-after-comment (0.165962 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/7 goals-after-error (0.178542 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/7 goals-after-proof (0.164794 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/7 update-goals-after-error (0.189881 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 1/7 goals-after-auto (0.234165 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 2/7 goals-after-comment (0.168968 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 3/7 goals-after-error (0.169974 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 4/7 goals-after-proof (0.165809 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.181461 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/7 goals-after-auto (0.307977 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/7 goals-after-comment (0.153740 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/7 goals-after-error (0.170680 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/7 goals-after-proof (0.154500 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/7 update-goals-after-error (0.183060 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/7 goals-after-auto (0.320910 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/7 goals-after-comment (0.191971 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/7 goals-after-error (0.216557 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/7 goals-after-proof (0.192714 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/7 update-goals-after-error (0.222400 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 1/7 goals-after-auto (0.267716 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 2/7 goals-after-comment (0.196039 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 3/7 goals-after-error (0.198715 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 4/7 goals-after-proof (0.194018 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.210815 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 1/7 goals-after-auto (0.217250 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 2/7 goals-after-comment (0.150711 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 3/7 goals-after-error (0.152653 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 4/7 goals-after-proof (0.149951 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.176919 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/7 goals-after-auto (0.332589 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/7 goals-after-comment (0.190471 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/7 goals-after-error (0.206841 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/7 goals-after-proof (0.193920 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/7 update-goals-after-error (0.221835 sec)
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/7 goals-after-auto (0.337497 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/7 goals-after-comment (0.195125 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/7 goals-after-error (0.207892 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/7 goals-after-proof (0.204265 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/7 update-goals-after-error (0.217372 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 1/7 goals-after-auto (0.272076 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 2/7 goals-after-comment (0.196681 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 3/7 goals-after-error (0.197742 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 4/7 goals-after-proof (0.194592 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.211317 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 1/7 goals-after-auto (0.281328 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 2/7 goals-after-comment (0.193741 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 3/7 goals-after-error (0.194799 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 4/7 goals-after-proof (0.193489 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.205180 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 1/7 goals-after-auto (0.353597 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 2/7 goals-after-comment (0.193804 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 3/7 goals-after-error (0.208838 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 4/7 goals-after-proof (0.195493 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.220633 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/7 goals-after-auto (0.388741 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/7 goals-after-comment (0.202780 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/7 goals-after-error (0.220093 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/7 goals-after-proof (0.229282 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.238135 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/7 goals-after-auto (0.352180 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/7 goals-after-comment (0.197680 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/7 goals-after-error (0.213562 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/7 goals-after-proof (0.201749 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.224237 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/7 goals-after-auto (0.434380 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/7 goals-after-comment (0.300675 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/7 goals-after-error (0.325705 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/7 goals-after-proof (0.307855 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 7/7 update-goals-after-error (0.334455 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 1/7 goals-after-auto (0.374427 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 2/7 goals-after-comment (0.308685 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 3/7 goals-after-error (0.312565 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 4/7 goals-after-proof (0.305905 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 7/7 update-goals-after-error (0.320153 sec)
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/7 goals-after-auto (0.423672 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/7 goals-after-comment (0.300213 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/7 goals-after-error (0.316777 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/7 goals-after-proof (0.313953 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 7/7 update-goals-after-error (0.326241 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/7 goals-after-auto (0.276106 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/7 goals-after-comment (0.191698 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/7 goals-after-error (0.196993 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/7 goals-after-proof (0.194664 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/7 update-goals-after-error (0.205617 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 1/7 goals-after-auto (0.276718 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 2/7 goals-after-comment (0.191946 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 3/7 goals-after-error (0.195266 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 4/7 goals-after-proof (0.198478 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.207990 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/7 goals-after-auto (0.348403 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/7 goals-after-comment (0.198586 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/7 goals-after-error (0.215265 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/7 goals-after-proof (0.214027 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.228284 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/7 goals-after-auto (0.373425 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 2/7 goals-after-comment (0.301458 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/7 goals-after-error (0.308366 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 4/7 goals-after-proof (0.304317 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 7/7 update-goals-after-error (0.316350 sec)
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
test (coq-8.17.1-emacs-26.3)
The run was canceled by @hendriktews.
|
|
test (coq-8.18.0-emacs-26.3)
The run was canceled by @hendriktews.
|
|
test (coq-8.16.1-emacs-29.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.17.1-emacs-29.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.18.0-emacs-28.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.17.1-emacs-28.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.17.1-emacs-29.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.18.0-emacs-27.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.18.0-emacs-29.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.19.1-emacs-26.3)
The run was canceled by @hendriktews.
|
|
test (coq-8.19.1-emacs-27.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.18.0-emacs-29.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.19.1-emacs-27.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.19.1-emacs-28.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.19.1-emacs-28.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.19.1-emacs-29.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.19.1-emacs-29.1)
The run was canceled by @hendriktews.
|
|
test-indent (26.3)
The run was canceled by @hendriktews.
|
|
test-indent (27.1)
The run was canceled by @hendriktews.
|
|
test-indent (28.1)
The run was canceled by @hendriktews.
|
|
test-indent (28.2)
The run was canceled by @hendriktews.
|
|
test-indent (29.1)
The run was canceled by @hendriktews.
|
|
test-indent (27.2)
The run was canceled by @hendriktews.
|
|
test-indent (29.2)
The run was canceled by @hendriktews.
|
|
test-qrhl (27.2)
The run was canceled by @hendriktews.
|
|
test-qrhl (27.1)
The run was canceled by @hendriktews.
|
|
test-qrhl (29.1)
The run was canceled by @hendriktews.
|
|
test-qrhl (28.1)
The run was canceled by @hendriktews.
|
|
test-qrhl (28.2)
The run was canceled by @hendriktews.
|
|
test-qrhl (29.2)
The run was canceled by @hendriktews.
|
|
test-qrhl (26.3)
The run was canceled by @hendriktews.
|
|
simple-tests (coq-8.19.1-emacs-27.1)
The run was canceled by @hendriktews.
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 1/7 goals-after-auto (0.447762 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 2/7 goals-after-comment (0.311702 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 3/7 goals-after-error (0.323422 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 4/7 goals-after-proof (0.310145 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.338584 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
The operation was canceled.
|
|
test (coq-8.17.1-emacs-27.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.17.1-emacs-27.1)
The operation was canceled.
|
|
test (coq-8.12.2-emacs-27.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.12.2-emacs-29.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.12.2-emacs-29.2)
The operation was canceled.
|
|
simple-tests (coq-8.19.1-emacs-28.2)
The run was canceled by @hendriktews.
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 1/7 goals-after-auto (0.440852 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 2/7 goals-after-comment (0.312652 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 3/7 goals-after-error (0.323767 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 4/7 goals-after-proof (0.331418 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.334452 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
The operation was canceled.
|
|
simple-tests (coq-8.19.1-emacs-29.2)
The run was canceled by @hendriktews.
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 1/7 goals-after-auto (0.389574 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 2/7 goals-after-comment (0.332078 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 3/7 goals-after-error (0.319836 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 4/7 goals-after-proof (0.312061 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.323835 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
The operation was canceled.
|
|
simple-tests (coq-8.19.1-emacs-28.1)
The run was canceled by @hendriktews.
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 1/7 goals-after-auto (0.459953 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 2/7 goals-after-comment (0.314013 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 3/7 goals-after-error (0.334741 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 4/7 goals-after-proof (0.338646 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 7/7 update-goals-after-error (0.340962 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
The operation was canceled.
|
|
simple-tests (coq-8.19.1-emacs-27.2)
The run was canceled by @hendriktews.
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 1/7 goals-after-auto (0.473808 sec)
|
|
test (coq-8.14.1-emacs-27.2)
The run was canceled by @hendriktews.
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 2/7 goals-after-comment (0.314311 sec)
|
|
test (coq-8.14.1-emacs-27.2)
The operation was canceled.
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 3/7 goals-after-error (0.334913 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 4/7 goals-after-proof (0.320589 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 7/7 update-goals-after-error (0.349179 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
The operation was canceled.
|
|
test (coq-8.14.1-emacs-29.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.14.1-emacs-29.2)
The operation was canceled.
|
|
test (coq-8.15.2-emacs-28.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.15.2-emacs-28.1)
The operation was canceled.
|
|
test (coq-8.16.1-emacs-28.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.16.1-emacs-28.2)
The operation was canceled.
|
|
test (coq-8.16.1-emacs-27.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.16.1-emacs-27.1)
The operation was canceled.
|
|
test (coq-8.13.2-emacs-29.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.13.2-emacs-29.2)
The operation was canceled.
|
|
test (coq-8.13.2-emacs-27.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.13.2-emacs-27.2)
The operation was canceled.
|
|
test (coq-8.15.2-emacs-29.2)
The run was canceled by @hendriktews.
|
|
test (coq-8.15.2-emacs-29.2)
The operation was canceled.
|
|
simple-tests (coq-8.19.1-emacs-29.1)
The run was canceled by @hendriktews.
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 1/7 goals-after-auto (0.378373 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 2/7 goals-after-comment (0.310749 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 3/7 goals-after-error (0.320545 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 4/7 goals-after-proof (0.305401 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 7/7 update-goals-after-error (0.323743 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
The operation was canceled.
|
|
test (coq-8.16.1-emacs-26.3)
The run was canceled by @hendriktews.
|
|
test (coq-8.16.1-emacs-26.3)
The operation was canceled.
|
|
test (coq-8.15.2-emacs-27.1)
The run was canceled by @hendriktews.
|
|
test (coq-8.15.2-emacs-27.1)
The operation was canceled.
|
|
check-doc-magic (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
check-doc-magic (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
check-doc-magic (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
check-doc-magic (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.11.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.11.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.13.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.13.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.12.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.12.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.14.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.14.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.12.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.14.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.15.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.11.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.11.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.12.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.12.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.12.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.14.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.14.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.14.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.13.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.13.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.15.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.11.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.11.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|