Skip to content
CI

Fixing the debug mode (for recent coq verions). #54

Sign in to view logs

Fixing the debug mode (for recent coq verions).

Fixing the debug mode (for recent coq verions). #54

Triggered via push September 9, 2024 16:08
@MatafouMatafou
pushed 084d783
fix-debug-mode
Status Failure
Total duration 22m 4s
Artifacts –

test.yml

on: push
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

369 errors and 426 warnings
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.659864 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.228201 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.158710 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/13 goals-after-error (0.159858 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/13 goals-after-proof (0.158658 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.158592 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.173270 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.171297 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.174151 sec)
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.11.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.11.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.11.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.746452 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.272334 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.164541 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.180502 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.167100 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.165654 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.180298 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.192358 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.180925 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.787244 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.269934 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.154770 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.168815 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.152841 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.154755 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.169935 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.182636 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.168670 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.653560 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.245664 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.182379 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/13 goals-after-error (0.174888 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/13 goals-after-proof (0.173957 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.174617 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.186434 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.185948 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.197711 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.618830 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.223159 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.151122 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/13 goals-after-error (0.154117 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/13 goals-after-proof (0.151044 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.160359 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.168406 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.170295 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.169084 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.675215 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.258708 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.192728 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/13 goals-after-error (0.191375 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/13 goals-after-proof (0.192041 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.192410 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.206257 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.206390 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.214354 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.861522 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.295877 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.189850 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.207612 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.196139 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.187612 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.201222 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.210190 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.210040 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.284062 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.195029 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.202520 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/13 goals-after-proof (0.203185 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.201483 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.218059 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.216192 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.224179 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.688333 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.328691 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.207946 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.193431 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.205280 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.190769 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.220172 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.221622 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.212050 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.826986 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.316129 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.192040 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.209868 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.195696 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.195353 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.209343 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.224471 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.218007 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.805088 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.273901 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.197984 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.193454 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/13 goals-after-proof (0.194071 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.193108 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.209872 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.207647 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.224874 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.655622 sec)
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.18.0-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.18.0-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.18.0-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.18.0-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.18.0-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.346569 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.208772 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.199421 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.211995 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.215781 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.231095 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.228804 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.222229 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.954368 sec)
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.17.1-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.17.1-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.17.1-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.17.1-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.17.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.17.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.17.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.411324 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.306140 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.328863 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.304634 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.305032 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.321343 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.332508 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.330912 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.951302 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/13 goals-after-auto (0.343532 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/13 goals-after-comment (0.201730 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/13 goals-after-error (0.215576 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/13 goals-after-proof (0.198872 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.199030 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.211456 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.227626 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.221554 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.844085 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/13 goals-after-auto (0.351713 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/13 goals-after-comment (0.210673 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/13 goals-after-error (0.200100 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/13 goals-after-proof (0.211341 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.210767 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.225621 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.223302 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.219817 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.846936 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.275457 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.194264 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.198369 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.199259 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.200850 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.209541 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.207641 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.215674 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.658570 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.293764 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.204775 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.206172 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/13 goals-after-proof (0.204037 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.205741 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.220813 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.218195 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.229383 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.692408 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.435952 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.320717 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.308389 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.333473 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.310500 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.336886 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.334081 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.329812 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.997374 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.380821 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.306346 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.312935 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/13 goals-after-proof (0.309821 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.310226 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.325566 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.323512 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.338179 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.850513 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/13 goals-after-auto (0.370546 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 2/13 goals-after-comment (0.304466 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/13 goals-after-error (0.309356 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 4/13 goals-after-proof (0.308225 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 8/13 goals-reset-qed (0.304589 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.319365 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.318244 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.337301 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.833426 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.457505 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.318744 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.347660 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/13 goals-after-proof (0.314302 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.318698 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.330786 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.347466 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.336615 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.985095 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.463212 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.333608 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.321432 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/13 goals-after-proof (0.326259 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/13 goals-reset-qed (0.328794 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.344015 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.341397 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.335650 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.997370 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 1/13 goals-after-auto (0.454683 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 2/13 goals-after-comment (0.330144 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 3/13 goals-after-error (0.321506 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 4/13 goals-after-proof (0.333505 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.317901 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.357158 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.353911 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.340160 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.074525 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 1/13 goals-after-auto (0.385274 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 2/13 goals-after-comment (0.313678 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 3/13 goals-after-error (0.330324 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 4/13 goals-after-proof (0.313631 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 8/13 goals-reset-qed (0.319248 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.328961 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.331219 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.339670 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.852610 sec)
simple-tests (coq-8.19.2-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.19.2-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.19.2-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.19.2-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.19.2-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.19.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.19.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.19.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.19.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.19.2-emacs-29.1)
failed 1/13 goals-after-auto (0.386059 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 2/13 goals-after-comment (0.318267 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 3/13 goals-after-error (0.320697 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 4/13 goals-after-proof (0.315352 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 8/13 goals-reset-qed (0.317479 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.327892 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.332314 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.340488 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.850118 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.390800 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.319800 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.318326 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/13 goals-after-proof (0.315736 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.321478 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.327938 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.332354 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.340732 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.863162 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.384456 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.311740 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.313543 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/13 goals-after-proof (0.316067 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.313466 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.325010 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.323495 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.328788 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.838088 sec)
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 1/13 goals-after-auto (0.423717 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 2/13 goals-after-comment (0.317139 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 3/13 goals-after-error (0.334146 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 4/13 goals-after-proof (0.314269 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 8/13 goals-reset-qed (0.316525 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.330405 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.343417 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.339383 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.954647 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 1/13 goals-after-auto (0.421751 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 2/13 goals-after-comment (0.317811 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 3/13 goals-after-error (0.335830 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 4/13 goals-after-proof (0.317851 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 8/13 goals-reset-qed (0.329237 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.332037 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.344790 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.340783 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.980252 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 1/13 goals-after-auto (0.441035 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 2/13 goals-after-comment (0.333870 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 3/13 goals-after-error (0.319487 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 4/13 goals-after-proof (0.336803 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 8/13 goals-reset-qed (0.320793 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.345486 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.348306 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.340846 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.035784 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 1/13 goals-after-auto (0.439325 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 2/13 goals-after-comment (0.326909 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 3/13 goals-after-error (0.315856 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 4/13 goals-after-proof (0.330020 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 8/13 goals-reset-qed (0.315266 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.346757 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.344526 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.338268 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.028854 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 1/13 goals-after-auto (0.387270 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 2/13 goals-after-comment (0.319523 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 3/13 goals-after-error (0.320702 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 4/13 goals-after-proof (0.317656 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 8/13 goals-reset-qed (0.322067 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.344784 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.333022 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.347170 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.859541 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 1/13 goals-after-auto (0.474641 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 2/13 goals-after-comment (0.324671 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 3/13 goals-after-error (0.338146 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 4/13 goals-after-proof (0.318599 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.328617 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.329370 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.350377 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.354692 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (1.029487 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 1/13 goals-after-auto (0.394615 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 2/13 goals-after-comment (0.320990 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 3/13 goals-after-error (0.328010 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 4/13 goals-after-proof (0.324232 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 8/13 goals-reset-qed (0.324467 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.338368 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.335327 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.348628 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.861544 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 1/13 goals-after-auto (0.404022 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 2/13 goals-after-comment (0.351272 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 3/13 goals-after-error (0.343318 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 4/13 goals-after-proof (0.337570 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 8/13 goals-reset-qed (0.324528 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.350898 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.353977 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.350380 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.862923 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 1/13 goals-after-auto (0.387582 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 2/13 goals-after-comment (0.329743 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 3/13 goals-after-error (0.324398 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 4/13 goals-after-proof (0.318622 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 8/13 goals-reset-qed (0.320971 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.337601 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.335726 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.349911 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.844866 sec)
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 (28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
check-doc-magic (29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (29.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 (29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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.13.2-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.11.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.13.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.12.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.14.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.12.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.16.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.15.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.15.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.17.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.18.0-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-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.20-rc1-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.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.19.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.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.19.2-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.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.19.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.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.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.11.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.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.19.2-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-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.2-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-29.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.2-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-29.4)
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.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-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.2-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.13.2-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-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.20-rc1-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-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.20-rc1-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.12.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-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.20-rc1-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-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.20-rc1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.13.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-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.20-rc1-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.14.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.16.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.16.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.15.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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/
simple-tests (coq-8.15.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.17.1-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.17.1-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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/
simple-tests (coq-8.17.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-29.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.20-rc1-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-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.20-rc1-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-29.4)
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.20-rc1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.18.0-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.18.0-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.18.0-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.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.19.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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/
test (coq-8.11.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-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.2-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.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/
simple-tests (coq-8.19.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.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.19.2-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.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.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-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.2-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-29.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.2-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-29.4)
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.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.11.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-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.20-rc1-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-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.20-rc1-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-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.20-rc1-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-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.20-rc1-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-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.20-rc1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-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.20-rc1-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.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.19.2-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-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.20-rc1-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-29.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.20-rc1-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.13.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.12.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.12.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.14.1-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.14.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.16.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.15.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-29.4)
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.20-rc1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.15.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.15.2-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.17.1-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.18.0-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.18.0-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.16.1-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.18.0-emacs-29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.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.19.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.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.19.2-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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 (26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.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.19.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.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.19.2-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-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.2-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-29.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.2-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-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.19.2-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-indent (27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.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/
test (coq-8.19.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-29.4)
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.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-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.20-rc1-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-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.20-rc1-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-indent (27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-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.20-rc1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-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.20-rc1-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-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.20-rc1-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-emacs-29.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.20-rc1-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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 (28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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-indent (29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-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.20-rc1-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-qrhl (26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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-qrhl (28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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-qrhl (27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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-indent (29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.4)
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.20-rc1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-qrhl (29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-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.20-rc1-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-qrhl (28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (29.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 (29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 (29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (29.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-qrhl (29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (29.4)
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.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/