Skip to content
CI

CI: add Coq 8.20+rc1 #247

Sign in to view logs

CI: add Coq 8.20+rc1

CI: add Coq 8.20+rc1 #247

Triggered via push July 8, 2024 15:37
@hendriktewshendriktews
pushed cfa44ee
ci-rc
Status Success
Total duration 21m 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

369 errors and 427 warnings
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.636671 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.219195 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.155810 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/13 goals-after-error (0.155419 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/13 goals-after-proof (0.156832 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.156119 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.169643 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.167467 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.174877 sec)
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.11.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.11.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.11.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.636727 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.227989 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.158828 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/13 goals-after-error (0.156935 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/13 goals-after-proof (0.153452 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.154468 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.168836 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.169863 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.173633 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.663518 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.245718 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.173768 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/13 goals-after-error (0.177353 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/13 goals-after-proof (0.175264 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.174861 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.189263 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.184877 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.192250 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.795310 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.298561 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.191627 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.214412 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.199488 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.190983 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.200653 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.214799 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.209335 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.783268 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.281034 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.172792 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.187293 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.176161 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.171417 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.172046 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.203459 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.187143 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.843028 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.314357 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.171125 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.183423 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.167127 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.171932 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.183293 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.198212 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.184485 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.683502 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.257486 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.189622 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/13 goals-after-error (0.192248 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/13 goals-after-proof (0.190829 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.191585 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.206779 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.201430 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.214788 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.357005 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.213989 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.202596 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.219851 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.218432 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.231578 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.233690 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.223346 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.887383 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.278669 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.198245 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.198090 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/13 goals-after-proof (0.211830 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.197814 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.214163 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.208497 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.226364 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.670416 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.322397 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.192935 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.210694 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.192900 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.192890 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.209511 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.221457 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.213586 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.783053 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.278772 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.193810 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.197462 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/13 goals-after-proof (0.197258 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.198235 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.216739 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.210647 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.218923 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.666106 sec)
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.18.0-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.18.0-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.18.0-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.18.0-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.18.0-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.420399 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.309899 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.321212 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.304038 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.306321 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.319839 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.336507 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.327621 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.973102 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.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.332613 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.208186 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.202814 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.209771 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.211309 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.227508 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.226860 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.220729 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.829165 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.429113 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.315715 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.304797 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.317575 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.305658 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.335097 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.337209 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.329224 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.984515 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/13 goals-after-auto (0.327105 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/13 goals-after-comment (0.197193 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/13 goals-after-error (0.213927 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/13 goals-after-proof (0.192952 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.198198 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.222306 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.225887 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.220940 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.784616 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.378390 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.308772 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.317244 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/13 goals-after-proof (0.314490 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.311813 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.327752 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.278094 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.320854 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.198263 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.332045 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.199173 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.839895 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/13 goals-after-proof (0.196631 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.197601 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.209294 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.208669 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.218061 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.664765 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/13 goals-after-auto (0.375126 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 2/13 goals-after-comment (0.306139 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/13 goals-after-error (0.310537 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 4/13 goals-after-proof (0.305721 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 8/13 goals-reset-qed (0.308594 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.326072 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.322029 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.331275 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.858934 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/13 goals-after-auto (0.331938 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/13 goals-after-comment (0.213725 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/13 goals-after-error (0.206079 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/13 goals-after-proof (0.212287 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.213347 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.224954 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.225189 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.220177 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.827236 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.282410 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.197578 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.198625 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.194388 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.197846 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.209151 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.209448 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.225045 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.667798 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.418400 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.309732 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.327330 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/13 goals-after-proof (0.304237 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.312813 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.326039 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.340296 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.333596 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.944780 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-27.2)
failed 1/13 goals-after-auto (0.421700 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 2/13 goals-after-comment (0.309786 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 3/13 goals-after-error (0.328709 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 4/13 goals-after-proof (0.308901 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.309690 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.321467 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.334962 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.332874 sec)
simple-tests (coq-8.19.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.955600 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 1/13 goals-after-auto (0.438529 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 2/13 goals-after-comment (0.324082 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 3/13 goals-after-error (0.315612 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 4/13 goals-after-proof (0.327724 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.314890 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.339341 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.337576 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.331273 sec)
simple-tests (coq-8.19.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.003338 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 1/13 goals-after-auto (0.384566 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 2/13 goals-after-comment (0.313173 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 3/13 goals-after-error (0.315839 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 4/13 goals-after-proof (0.314401 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 8/13 goals-reset-qed (0.313966 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.333021 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.331917 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.339767 sec)
simple-tests (coq-8.19.2-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.857086 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 1/13 goals-after-auto (0.381952 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 2/13 goals-after-comment (0.312933 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 3/13 goals-after-error (0.314878 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 4/13 goals-after-proof (0.312254 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 8/13 goals-reset-qed (0.313545 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.328930 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.325524 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.337602 sec)
simple-tests (coq-8.19.2-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.837507 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.436774 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.327358 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.321838 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/13 goals-after-proof (0.336112 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/13 goals-reset-qed (0.317365 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.340105 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.342458 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.336122 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.001789 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.374332 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.310219 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.312335 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/13 goals-after-proof (0.312406 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.310685 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.325295 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.328961 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.331978 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.835199 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.378907 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.314596 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.320556 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/13 goals-after-proof (0.314917 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.316232 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.328568 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.338406 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.338840 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.853777 sec)
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.20-rc1-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 1/13 goals-after-auto (0.433230 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 2/13 goals-after-comment (0.322088 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 3/13 goals-after-error (0.337567 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 4/13 goals-after-proof (0.333253 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 8/13 goals-reset-qed (0.327192 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.335403 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.347056 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.342068 sec)
simple-tests (coq-8.20-rc1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.965379 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 1/13 goals-after-auto (0.388525 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 2/13 goals-after-comment (0.321117 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 3/13 goals-after-error (0.321648 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 4/13 goals-after-proof (0.319993 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 8/13 goals-reset-qed (0.327388 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.337999 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.339476 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.346873 sec)
simple-tests (coq-8.20-rc1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.864993 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 1/13 goals-after-auto (0.424416 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 2/13 goals-after-comment (0.315532 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 3/13 goals-after-error (0.330570 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 4/13 goals-after-proof (0.316021 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 8/13 goals-reset-qed (0.316926 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.332592 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.347780 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.338472 sec)
simple-tests (coq-8.20-rc1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.992831 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 1/13 goals-after-auto (0.438605 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 2/13 goals-after-comment (0.331233 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 3/13 goals-after-error (0.317754 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 4/13 goals-after-proof (0.331468 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 8/13 goals-reset-qed (0.320432 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.345513 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.343197 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.339795 sec)
simple-tests (coq-8.20-rc1-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.088933 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 1/13 goals-after-auto (0.394351 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 2/13 goals-after-comment (0.321825 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 3/13 goals-after-error (0.322791 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 4/13 goals-after-proof (0.320493 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 8/13 goals-reset-qed (0.323384 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.336697 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.334324 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.347025 sec)
simple-tests (coq-8.20-rc1-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.862018 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 1/13 goals-after-auto (0.449172 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 2/13 goals-after-comment (0.338967 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 3/13 goals-after-error (0.324213 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 4/13 goals-after-proof (0.336768 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 8/13 goals-reset-qed (0.326614 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.347109 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.345187 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.342823 sec)
simple-tests (coq-8.20-rc1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.080414 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 1/13 goals-after-auto (0.394137 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 2/13 goals-after-comment (0.327023 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 3/13 goals-after-error (0.323498 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 4/13 goals-after-proof (0.329855 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 8/13 goals-reset-qed (0.323102 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.338064 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.338273 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.347952 sec)
simple-tests (coq-8.20-rc1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.882606 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 1/13 goals-after-auto (0.403337 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 2/13 goals-after-comment (0.331243 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 3/13 goals-after-error (0.344753 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 4/13 goals-after-proof (0.327985 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 8/13 goals-reset-qed (0.329657 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.348104 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.340240 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.355186 sec)
simple-tests (coq-8.20-rc1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.884732 sec)
check-doc-magic (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
check-doc-magic (28.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
check-doc-magic (29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
check-doc-magic (29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.11.2-emacs-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.12.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.12.2-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.14.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.14.1-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.17.1-emacs-27.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.18.0-emacs-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.17.1-emacs-28.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.18.0-emacs-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.18.0-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-27.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-28.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-29.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-29.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-29.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-27.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-28.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-26.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-27.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-29.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-28.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.13.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.13.2-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20-rc1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-29.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-29.2)
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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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
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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.15.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.15.2-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.18.0-emacs-26.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.18.0-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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
compile-tests (coq-8.20-rc1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20-rc1-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-27.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-28.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.13.2-emacs-27.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.12.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.12.2-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-29.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-29.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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
simple-tests (coq-8.20-rc1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-26.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-27.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-27.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-28.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-29.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-28.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-29.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20-rc1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20-rc1-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.14.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.14.1-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.16.1-emacs-28.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.18.0-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.17.1-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-28.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-27.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test-indent (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (26.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-29.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-29.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-26.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-28.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-27.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test-indent (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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-27.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-28.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20-rc1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-29.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test-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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-29.2)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test-qrhl (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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-29.3)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test-indent (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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20-rc1-emacs-29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test-qrhl (29.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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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 uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (29.4)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/