CI: update to Coq 8.19.2 and Emacs 29.4 #704
hendriktewstest.yml
on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
288 errors and 346 warnings
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.638454 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.230216 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.158904 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/13 goals-after-error (0.168846 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/13 goals-after-proof (0.158460 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.161244 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.179231 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.171495 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.175690 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.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.771251 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.294794 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.177482 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.188361 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.168252 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.173839 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.186425 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.199282 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.189240 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.649804 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.238931 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.171745 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/13 goals-after-error (0.172853 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/13 goals-after-proof (0.170886 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.172070 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.187450 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.184183 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.189158 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.811852 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.308639 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.194768 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.211075 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.213061 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.194185 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.209504 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.222574 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.793030 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.217683 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.267243 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.150140 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.171617 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.150956 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.153256 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.164701 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.179641 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.174575 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.620379 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.216465 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.148869 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/13 goals-after-error (0.150277 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/13 goals-after-proof (0.150591 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.151122 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.166100 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.164169 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.167955 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.672106 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.256480 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.189739 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/13 goals-after-error (0.191700 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/13 goals-after-proof (0.189076 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.191597 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.205023 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.205357 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.218130 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.334106 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.210444 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.199653 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.222902 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.209242 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.221636 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.221907 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.217199 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.835349 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.319769 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.194799 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.207541 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.195948 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.278109 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.193012 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.196385 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.207048 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.200399 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.224412 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/13 goals-after-proof (0.203242 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.215323 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.197799 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.795246 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.215154 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.217707 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.217068 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.665484 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.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.330216 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.277790 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.202256 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.193268 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.196310 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.194867 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.220734 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/13 goals-after-proof (0.195593 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.212553 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.199057 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.225619 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.213256 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.219479 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.206251 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.214573 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.227706 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.814556 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.655347 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/13 goals-after-auto (0.329143 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/13 goals-after-comment (0.193192 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/13 goals-after-error (0.209886 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.279536 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/13 goals-after-proof (0.194650 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.196303 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.194146 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.195860 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.207640 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.219389 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.192269 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.216181 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.197291 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.789313 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.209191 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.211465 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.227704 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.665449 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/13 goals-after-auto (0.330505 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/13 goals-after-comment (0.207423 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/13 goals-after-error (0.196784 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/13 goals-after-proof (0.211623 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.206432 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.219834 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.220578 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.221596 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.825669 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.429002 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.303599 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.327008 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.307567 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.275381 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.310028 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.194283 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.323420 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.199976 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.331096 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/13 goals-after-proof (0.199170 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.323696 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.199071 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.949403 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.211029 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.212159 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.219314 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.671207 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.467763 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.327711 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.316722 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.327443 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.333460 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.343317 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.343513 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.333869 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.045786 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/13 goals-after-auto (0.449998 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 2/13 goals-after-comment (0.357671 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/13 goals-after-error (0.361692 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 4/13 goals-after-proof (0.356665 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 8/13 goals-reset-qed (0.365049 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.377599 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.368752 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.376531 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.945911 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.423191 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.315018 sec)
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.333431 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/13 goals-after-proof (0.312482 sec)
|
|
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-27.1)
failed 8/13 goals-reset-qed (0.313676 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.327795 sec)
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.339466 sec)
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.333796 sec)
|
|
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-27.1)
failed 1/2 proof-check-correct-stat (0.967499 sec)
|
|
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.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.375313 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.304088 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.309034 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/13 goals-after-proof (0.305955 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.304694 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.318329 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.320831 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.325556 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.828178 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 1/13 goals-after-auto (0.433516 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 2/13 goals-after-comment (0.325583 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 3/13 goals-after-error (0.312413 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 4/13 goals-after-proof (0.331660 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.311907 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.339679 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.338811 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.332057 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.003102 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 1/13 goals-after-auto (0.416220 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 2/13 goals-after-comment (0.326000 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 3/13 goals-after-error (0.329468 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 4/13 goals-after-proof (0.314141 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.308829 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.323567 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.335746 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.337800 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.970372 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.460220 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.335351 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.337410 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/13 goals-after-proof (0.335631 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/13 goals-reset-qed (0.322725 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.349968 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 1/13 goals-after-auto (0.383987 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.348042 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 2/13 goals-after-comment (0.312522 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.342119 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 3/13 goals-after-error (0.312685 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.082331 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 4/13 goals-after-proof (0.317765 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 8/13 goals-reset-qed (0.312053 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.325570 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.326155 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.334930 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.850978 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 1/13 goals-after-auto (0.378503 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 2/13 goals-after-comment (0.310522 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 3/13 goals-after-error (0.311558 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 4/13 goals-after-proof (0.312349 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 8/13 goals-reset-qed (0.311289 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.320702 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.321589 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.333705 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.387706 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.864685 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.317377 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.320455 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/13 goals-after-proof (0.315621 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.316217 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.326768 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.333772 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.335296 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.839315 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.380904 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.310368 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.321055 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/13 goals-after-proof (0.310976 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.314571 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.330580 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.327419 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.340002 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.847732 sec)
|
|
check-doc-magic (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
check-doc-magic (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
check-doc-magic (29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
check-doc-magic (29.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 (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (29.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.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (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 (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 (29.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (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 (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (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 (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.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (29.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (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.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-indent (29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (29.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-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.11.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.12.2-emacs-29.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)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.12.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.14.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.14.1-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.14.1-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.15.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.16.1-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-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-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-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.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)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-27.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.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-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-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-qrhl (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (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 (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-29.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-qrhl (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (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 (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 (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (29.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (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.11.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.11.2-emacs-29.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 node12 which is deprecated and will be forced to run on node16: actions/checkout@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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.12.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.12.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.12.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.14.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.13.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.13.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.14.1-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.14.1-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
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.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-28.2)
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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-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-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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
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.18.0-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-29.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-27.1)
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-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.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-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.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-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.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-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.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-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.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.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.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.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.12.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.12.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.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.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.11.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.11.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.12.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.14.1-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.14.1-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.13.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.13.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.14.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-29.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-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.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.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)
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
|