proof-stat: add batch mode and TAP support #194
hendriktewstest.yml
on: push
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
192 errors and 238 warnings
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 1/7 goals-after-auto (0.221205 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 2/7 goals-after-comment (0.156046 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 3/7 goals-after-error (0.156008 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 4/7 goals-after-proof (0.158446 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.165181 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.169517 sec)
|
|
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 6/7 goals-reset-after-admitted
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 1/7 goals-after-auto (0.238140 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 2/7 goals-after-comment (0.173324 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 3/7 goals-after-error (0.175303 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 4/7 goals-after-proof (0.172033 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.186908 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.189601 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/7 goals-after-auto (0.275361 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/7 goals-after-comment (0.149526 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/7 goals-after-error (0.163281 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/7 goals-after-proof (0.149317 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 6/7 goals-reset-after-admitted (0.177043 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/7 update-goals-after-error (0.174990 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/7 goals-after-auto (0.295795 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/7 goals-after-comment (0.166720 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/7 goals-after-error (0.180105 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/7 goals-after-proof (0.166669 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 6/7 goals-reset-after-admitted (0.193332 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/7 update-goals-after-error (0.194594 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 1/7 goals-after-auto (0.218573 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 2/7 goals-after-comment (0.152055 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 3/7 goals-after-error (0.152478 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 4/7 goals-after-proof (0.159776 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.162015 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.163411 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/7 goals-after-auto (0.318593 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/7 goals-after-comment (0.185668 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/7 goals-after-error (0.201963 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/7 goals-after-proof (0.192779 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 6/7 goals-reset-after-admitted (0.210490 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/7 update-goals-after-error (0.219832 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 1/7 goals-after-auto (0.253734 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 2/7 goals-after-comment (0.189302 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 3/7 goals-after-error (0.189924 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 4/7 goals-after-proof (0.191329 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.200781 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.202739 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 6/7 goals-reset-after-admitted
|
|
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.345806 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/7 goals-after-comment (0.195763 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/7 goals-after-error (0.213728 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/7 goals-after-proof (0.211027 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/7 goals-reset-after-admitted (0.222560 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/7 update-goals-after-error (0.224482 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 1/7 goals-after-auto (0.333500 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 2/7 goals-after-comment (0.189368 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 3/7 goals-after-error (0.210891 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 4/7 goals-after-proof (0.201862 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 6/7 goals-reset-after-admitted (0.221553 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.219009 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/7 goals-after-auto (0.345403 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/7 goals-after-comment (0.201225 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/7 goals-after-error (0.218668 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/7 goals-after-proof (0.201129 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/7 goals-reset-after-admitted (0.222809 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/7 update-goals-after-error (0.226327 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 1/7 goals-after-auto (0.291221 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 2/7 goals-after-comment (0.204534 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 3/7 goals-after-error (0.205844 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 4/7 goals-after-proof (0.207589 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.212559 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.218430 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 6/7 goals-reset-after-admitted
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 1/7 goals-after-auto (0.271666 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 2/7 goals-after-comment (0.193245 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 3/7 goals-after-error (0.195573 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 4/7 goals-after-proof (0.192495 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.205905 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.206479 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/7 goals-after-auto (0.325217 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/7 goals-after-comment (0.192865 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/7 goals-after-error (0.210935 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/7 goals-after-proof (0.205776 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/7 goals-reset-after-admitted (0.226412 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.220700 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 6/7 goals-reset-after-admitted
|
|
simple-tests (coq-8.18.0-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.422559 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/7 goals-after-comment (0.306105 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/7 goals-after-error (0.320698 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/7 goals-after-proof (0.318485 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 6/7 goals-reset-after-admitted (0.333888 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 7/7 update-goals-after-error (0.344142 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/7 goals-after-auto (0.343106 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/7 goals-after-comment (0.196021 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/7 goals-after-error (0.211712 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/7 goals-after-proof (0.194983 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 6/7 goals-reset-after-admitted (0.227436 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.223253 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/7 goals-after-auto (0.434814 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/7 goals-after-comment (0.305120 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/7 goals-after-error (0.337745 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/7 goals-after-proof (0.303718 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 6/7 goals-reset-after-admitted (0.333546 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 7/7 update-goals-after-error (0.338118 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/7 goals-after-auto (0.360257 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 2/7 goals-after-comment (0.294226 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/7 goals-after-error (0.294627 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 4/7 goals-after-proof (0.295234 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 6/7 goals-reset-after-admitted (0.306476 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 7/7 update-goals-after-error (0.317117 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/7 goals-after-auto (0.288022 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/7 goals-after-comment (0.192388 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/7 goals-after-error (0.194333 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/7 goals-after-proof (0.194662 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/7 goals-reset-after-admitted (0.208106 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/7 update-goals-after-error (0.207959 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/7 goals-after-auto (0.326907 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/7 goals-after-comment (0.194131 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/7 goals-after-error (0.208635 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/7 goals-after-proof (0.203825 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 6/7 goals-reset-after-admitted (0.218480 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.219840 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 1/7 goals-after-auto (0.305697 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 2/7 goals-after-comment (0.192391 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 3/7 goals-after-error (0.198478 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 4/7 goals-after-proof (0.195310 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.214771 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.207539 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 1/7 goals-after-auto (0.373649 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 2/7 goals-after-comment (0.305605 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 3/7 goals-after-error (0.308571 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 4/7 goals-after-proof (0.305338 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.316573 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 7/7 update-goals-after-error (0.319698 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 1/7 goals-after-auto (0.429300 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 2/7 goals-after-comment (0.309025 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 3/7 goals-after-error (0.321158 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 4/7 goals-after-proof (0.307708 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 6/7 goals-reset-after-admitted (0.338533 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 7/7 update-goals-after-error (0.335249 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 6/7 goals-reset-after-admitted
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 1/7 goals-after-auto (0.480141 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 2/7 goals-after-comment (0.317595 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 3/7 goals-after-error (0.336537 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 4/7 goals-after-proof (0.341634 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 6/7 goals-reset-after-admitted (0.345664 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 7/7 update-goals-after-error (0.350287 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 1/7 goals-after-auto (0.462591 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 2/7 goals-after-comment (0.324759 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 3/7 goals-after-error (0.335596 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 4/7 goals-after-proof (0.337191 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 6/7 goals-reset-after-admitted (0.352379 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.351303 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 1/7 goals-after-auto (0.377613 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 2/7 goals-after-comment (0.309708 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 3/7 goals-after-error (0.315863 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 4/7 goals-after-proof (0.320451 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 6/7 goals-reset-after-admitted (0.316421 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 7/7 update-goals-after-error (0.322935 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 1/7 goals-after-auto (0.436015 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 2/7 goals-after-comment (0.311251 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 3/7 goals-after-error (0.328944 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 4/7 goals-after-proof (0.327275 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 6/7 goals-reset-after-admitted (0.338507 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.339628 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 1/7 goals-after-auto (0.379267 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 2/7 goals-after-comment (0.308095 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 3/7 goals-after-error (0.312695 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 4/7 goals-after-proof (0.309563 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 6/7 goals-reset-after-admitted (0.321311 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.323869 sec)
|
|
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 (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 (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/
|
|
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.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.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 (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 (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/
|
|
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.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.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.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.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.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-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-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-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.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-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.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-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-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/
|
|
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/
|
|
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.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.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.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.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/
|
|
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/
|
|
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-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.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-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-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.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/
|
|
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/
|
|
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-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.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/
|
|
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-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.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/
|
|
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.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.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.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.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.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.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-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-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-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/
|
|
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-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-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.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.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.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/.
|
|
simple-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/
|
|
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/
|
|
simple-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/.
|
|
simple-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/
|
|
simple-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/.
|
|
simple-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.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/.
|
|
simple-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/
|
|
simple-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/.
|
|
simple-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/
|
|
simple-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/.
|
|
simple-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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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.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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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.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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test-indent (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-indent (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/
|
|
test-indent (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/.
|
|
test-indent (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/
|
|
test-qrhl (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/.
|
|
test-qrhl (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/
|
|
test-qrhl (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/.
|
|
test-qrhl (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/
|
|
test-indent (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/.
|
|
test-indent (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/
|
|
test-indent (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/.
|
|
test-indent (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/
|
|
test (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/.
|
|
test (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/
|
|
test-qrhl (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/.
|
|
test-qrhl (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/
|
|
test-indent (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/.
|
|
test-indent (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-indent (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/.
|
|
test-indent (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.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/.
|
|
test (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/
|
|
test-qrhl (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/.
|
|
test-qrhl (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.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/.
|
|
test (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/
|
|
test-qrhl (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/.
|
|
test-qrhl (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-indent (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-indent (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/
|
|
test-qrhl (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-qrhl (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/
|
|
test-qrhl (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-qrhl (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|
|
test (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/.
|
|
test (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/
|