Skip to content
CI

Coq: make printing parentheses/notations flags accessible #251

Sign in to view logs

Coq: make printing parentheses/notations flags accessible

Coq: make printing parentheses/notations flags accessible #251

Triggered via push September 12, 2024 14:15
@hendriktewshendriktews
pushed d6598d1
paren
Status Success
Total duration 19m 15s
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

315 errors and 373 warnings
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.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.624555 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.219060 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.152387 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/13 goals-after-error (0.155458 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/13 goals-after-proof (0.155899 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.155570 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.167148 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.165288 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.172495 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.642323 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.241703 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.171368 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/13 goals-after-error (0.170028 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/13 goals-after-proof (0.170890 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.171213 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.183054 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.184607 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.185542 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.843808 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.317363 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.172497 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.188768 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.173325 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.177351 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.189426 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.200853 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.191936 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.616014 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.219976 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.151536 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/13 goals-after-error (0.153568 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/13 goals-after-proof (0.148425 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.151960 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.165205 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.162072 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.166593 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.734834 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.268618 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.148372 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.163511 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.149637 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.155891 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.164961 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.175793 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.166744 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.773213 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.304300 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.184654 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.205831 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.187886 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.185680 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.201483 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.228820 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.210116 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.674510 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.258560 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.193316 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/13 goals-after-error (0.193932 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/13 goals-after-proof (0.191887 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.190975 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.207410 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.203907 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.217220 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.331256 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.210980 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.213976 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.209379 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.194778 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.222428 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.226130 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.217854 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.830088 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.370890 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.211065 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.231643 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.213020 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.207710 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.219967 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.236015 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.224555 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.883171 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.278394 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.201578 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.202937 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/13 goals-after-proof (0.200487 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.197675 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.284214 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.209531 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.193609 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.210679 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.195945 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.220912 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/13 goals-after-proof (0.195343 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.674711 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.197067 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.207907 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.209883 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.220852 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.665600 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.330354 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.207687 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.196253 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.208189 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.194134 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.221134 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.222901 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.216303 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.820482 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-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.17.1-emacs-27.1)
failed 1/13 goals-after-auto (0.322467 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/13 goals-after-comment (0.191433 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/13 goals-after-error (0.206935 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/13 goals-after-proof (0.195193 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.195283 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.204562 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.224924 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.213066 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.797726 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.433079 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.309054 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.324651 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.317195 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.310541 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.321870 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.332250 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.333252 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.965015 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/13 goals-after-auto (0.372875 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/13 goals-after-comment (0.219489 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/13 goals-after-error (0.208327 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/13 goals-after-proof (0.215142 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.202275 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.233878 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.240705 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.222308 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.907125 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.276559 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.195925 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.200400 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.198090 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.195596 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.207963 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.209215 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.219508 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.663892 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.276958 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.195874 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.196149 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/13 goals-after-proof (0.193062 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.195115 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.207490 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.206285 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.230220 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.667869 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.450898 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.326292 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.309301 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.324163 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.310926 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.339180 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.337630 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.335969 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.010773 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.417763 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.308872 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.309174 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/13 goals-after-proof (0.310856 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.310589 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.322748 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.330658 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.333189 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.845540 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.430204 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.328297 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.329007 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/13 goals-after-proof (0.315739 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.318708 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.329945 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.341879 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.339758 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.962851 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.4)
failed 1/13 goals-after-auto (0.385397 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.315509 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.317733 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/13 goals-after-proof (0.317219 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.319999 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.348172 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.332011 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.337420 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.908563 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.440966 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.331168 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.317003 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/13 goals-after-proof (0.334901 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/13 goals-reset-qed (0.315431 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.344819 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.342345 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.336959 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.013873 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 1/13 goals-after-auto (0.433265 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 1/13 goals-after-auto (0.385267 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 2/13 goals-after-comment (0.314450 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 2/13 goals-after-comment (0.317303 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 3/13 goals-after-error (0.342508 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 3/13 goals-after-error (0.340074 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 4/13 goals-after-proof (0.318529 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 4/13 goals-after-proof (0.315646 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.315191 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 8/13 goals-reset-qed (0.319656 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.328828 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.343692 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.332617 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.336397 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.331449 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.963047 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.340479 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.857778 sec)
simple-tests (coq-8.20.0-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.20.0-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.20.0-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.20.0-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.20.0-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.20.0-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.20.0-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.20.0-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.20.0-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.20.0-emacs-27.2)
failed 1/13 goals-after-auto (0.445469 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 2/13 goals-after-comment (0.317678 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 3/13 goals-after-error (0.329880 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 4/13 goals-after-proof (0.314877 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 8/13 goals-reset-qed (0.320523 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.336780 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.350309 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.341692 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 1/2 proof-check-correct-stat (1.016184 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 1/13 goals-after-auto (0.396024 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 2/13 goals-after-comment (0.322426 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 3/13 goals-after-error (0.327025 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 4/13 goals-after-proof (0.328460 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 8/13 goals-reset-qed (0.323200 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.339526 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.339019 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.349141 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.870717 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 1/13 goals-after-auto (0.512994 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 2/13 goals-after-comment (0.347134 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 3/13 goals-after-error (0.346770 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 4/13 goals-after-proof (0.345712 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 8/13 goals-reset-qed (0.329139 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.354134 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.358071 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.350453 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.045298 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 1/13 goals-after-auto (0.473058 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 2/13 goals-after-comment (0.340474 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 3/13 goals-after-error (0.326140 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 4/13 goals-after-proof (0.346125 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.324319 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.350016 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.350717 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.347247 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.066423 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 1/13 goals-after-auto (0.394294 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 2/13 goals-after-comment (0.325491 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 3/13 goals-after-error (0.327920 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 4/13 goals-after-proof (0.324845 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 8/13 goals-reset-qed (0.327508 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.340167 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.336739 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.353365 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.875663 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 1/13 goals-after-auto (0.403544 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 2/13 goals-after-comment (0.325241 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 3/13 goals-after-error (0.330190 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 4/13 goals-after-proof (0.330879 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.326086 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.340255 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.340797 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.352345 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.884626 sec)
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/
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/
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.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 (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 (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 (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 (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 (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/
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/
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.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-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.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.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.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.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.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.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.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.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.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-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.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-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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-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-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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-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
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
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
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
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
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-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.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.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
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-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
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
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.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.20.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.20.0-emacs-27.1)
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
compile-tests (coq-8.20.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.20.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.20.0-emacs-26.3)
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.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
compile-tests (coq-8.20.0-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.0-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.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-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.0-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.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.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.20.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.20.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.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.20.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.20.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.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.20.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.20.0-emacs-29.4)
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
compile-tests (coq-8.20.0-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.0-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.0-emacs-29.3)
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.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
compile-tests (coq-8.20.0-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-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.20.0-emacs-29.2)
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.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-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.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.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-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
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
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
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
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
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
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
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
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
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
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.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
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.20.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.20.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.20.0-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-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.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.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.20.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.20.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-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.0-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.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.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.20.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.20.0-emacs-29.1)
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
simple-tests (coq-8.20.0-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.0-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.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.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.20.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.20.0-emacs-28.2)
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
simple-tests (coq-8.20.0-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.0-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.0-emacs-29.3)
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
simple-tests (coq-8.20.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.20.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.20.0-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.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.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.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-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
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.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.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.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.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.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.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-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.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-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-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-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-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 (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-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 (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.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-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-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-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-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-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-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 (coq-8.20.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.20.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.20.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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 (coq-8.20.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.20.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.20.0-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-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-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 (coq-8.20.0-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.0-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.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-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.0-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.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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/
test (coq-8.20.0-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.0-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.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.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.20.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.20.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.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.20.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.20.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.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.20.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.20.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-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.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config