proof-stat: admitted proofs count as failing #242
hendriktewstest.yml
on: push
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
297 errors and 349 warnings
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.668783 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 1/13 goals-after-auto (0.242371 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 2/13 goals-after-comment (0.170345 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 3/13 goals-after-error (0.181257 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 4/13 goals-after-proof (0.171993 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.179403 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.193178 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.188697 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.193746 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.664008 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 1/13 goals-after-auto (0.232588 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 2/13 goals-after-comment (0.162957 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 3/13 goals-after-error (0.162386 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 4/13 goals-after-proof (0.162570 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.163455 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.181896 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.177897 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.178721 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.811387 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.287358 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.153587 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.165995 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.152626 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.151266 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.167006 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.175223 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.166649 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.764063 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.271552 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.172437 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.180372 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.164533 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.164683 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.183029 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.196053 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.185547 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.628161 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 1/13 goals-after-auto (0.217805 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 2/13 goals-after-comment (0.150137 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 3/13 goals-after-error (0.150557 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 4/13 goals-after-proof (0.148327 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.149130 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.163307 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.167486 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.166586 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.786200 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.296422 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.190593 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.204035 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.187680 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.188357 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.199909 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.213848 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.210812 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.688555 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 1/13 goals-after-auto (0.257087 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 2/13 goals-after-comment (0.191754 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 3/13 goals-after-error (0.190139 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 4/13 goals-after-proof (0.190475 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 8/13 goals-reset-qed (0.194566 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.206330 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.200948 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.213411 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.336305 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.213269 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.198203 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.209747 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.194426 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.220556 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.219526 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.229235 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.846834 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.313556 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.193217 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.207961 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.192828 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.193036 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.206988 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.220301 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.218201 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.778248 sec)
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 1/13 goals-after-auto (0.324015 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 2/13 goals-after-comment (0.195055 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 3/13 goals-after-error (0.213619 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 4/13 goals-after-proof (0.198138 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.200137 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.212906 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.225242 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.218787 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.832090 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 1/13 goals-after-auto (0.277475 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 2/13 goals-after-comment (0.198153 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 3/13 goals-after-error (0.199278 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 4/13 goals-after-proof (0.198557 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 8/13 goals-reset-qed (0.195723 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.210427 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.210104 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.222167 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.680067 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.331503 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.205594 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.194462 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.208961 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.208537 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.220277 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.219936 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.212862 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.824901 sec)
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 1/13 goals-after-auto (0.289995 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 2/13 goals-after-comment (0.201431 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 3/13 goals-after-error (0.209977 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 4/13 goals-after-proof (0.196623 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.200291 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.216159 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.213732 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.224679 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.696031 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/13 goals-after-auto (0.326831 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/13 goals-after-comment (0.208944 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/13 goals-after-error (0.202023 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/13 goals-after-proof (0.207687 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.194347 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.221905 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.227218 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.231531 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.826270 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.429917 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.318936 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.325234 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.320038 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.308740 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.342736 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.338654 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.329371 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.009596 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.459186 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.310648 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.324225 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.309058 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.311939 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.319356 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.332931 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.331575 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.998252 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.17.1-emacs-29.3)
failed 1/13 goals-after-auto (0.282307 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.3)
failed 2/13 goals-after-comment (0.196605 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.3)
failed 3/13 goals-after-error (0.200610 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.3)
failed 4/13 goals-after-proof (0.196644 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.3)
failed 8/13 goals-reset-qed (0.197971 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.211894 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.208889 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.217152 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.683531 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.286760 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.197954 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.198372 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.198273 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.214220 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.215569 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.213953 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.233367 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.675138 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/13 goals-after-auto (0.374281 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 2/13 goals-after-comment (0.304972 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/13 goals-after-error (0.308180 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 4/13 goals-after-proof (0.305205 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 8/13 goals-reset-qed (0.308210 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.320377 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.318772 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.325887 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.836584 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/13 goals-after-auto (0.328122 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/13 goals-after-comment (0.193679 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/13 goals-after-error (0.210568 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/13 goals-after-proof (0.208235 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.195516 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.210604 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.222285 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.218964 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.807276 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/13 goals-after-auto (0.380274 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 2/13 goals-after-comment (0.322835 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/13 goals-after-error (0.308115 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/13 goals-after-proof (0.308596 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/13 goals-reset-qed (0.307820 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.317798 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.328717 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.329309 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.840658 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 1/13 goals-after-auto (0.423362 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 2/13 goals-after-comment (0.311779 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 3/13 goals-after-error (0.325144 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 4/13 goals-after-proof (0.311046 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.312853 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.324796 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.338191 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.330859 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.966433 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 1/13 goals-after-auto (0.427546 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 2/13 goals-after-comment (0.313583 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 3/13 goals-after-error (0.327662 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 4/13 goals-after-proof (0.318476 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.315406 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.324692 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.340143 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.332999 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.996647 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 1/13 goals-after-auto (0.477376 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 2/13 goals-after-comment (0.339690 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 3/13 goals-after-error (0.321900 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 4/13 goals-after-proof (0.327488 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 8/13 goals-reset-qed (0.322158 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.345399 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.355263 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.363209 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.067594 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 1/13 goals-after-auto (0.431152 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 2/13 goals-after-comment (0.325531 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 3/13 goals-after-error (0.310523 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 4/13 goals-after-proof (0.323928 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.313567 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.336985 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.334416 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.335256 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.995061 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 1/13 goals-after-auto (0.378948 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 2/13 goals-after-comment (0.309183 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 3/13 goals-after-error (0.314499 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 4/13 goals-after-proof (0.312902 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 8/13 goals-reset-qed (0.310173 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.321871 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.323220 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.333167 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.852249 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 1/13 goals-after-auto (0.379741 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 2/13 goals-after-comment (0.310597 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 3/13 goals-after-error (0.319519 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 4/13 goals-after-proof (0.320709 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.314805 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.334938 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.325122 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.337757 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.840017 sec)
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 1/13 goals-after-auto (0.378189 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 2/13 goals-after-comment (0.316669 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 3/13 goals-after-error (0.308495 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 4/13 goals-after-proof (0.307768 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 8/13 goals-reset-qed (0.309175 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.324174 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.324796 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.330821 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.855642 sec)
|
|
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/
|
|
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/
|
|
build (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (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.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (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/
|
|
check-doc-magic (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/.
|
|
check-doc-magic (29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (29.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 (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/
|
|
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/
|
|
compile-tests (coq-8.11.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.11.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-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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
|
|
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.13.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.13.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.13.2-emacs-29.3)
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-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.14.1-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.14.1-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.14.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.12.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.12.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.12.2-emacs-29.3)
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.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.16.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-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.16.1-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.16.1-emacs-29.3)
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.15.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.15.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.15.2-emacs-29.3)
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.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-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.17.1-emacs-29.3)
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.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.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.12.2-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.12.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.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.11.2-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.11.2-emacs-29.3)
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-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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
|
|
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.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-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.18.0-emacs-29.3)
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.19.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-26.3)
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.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-29.1)
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.19.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.13.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.13.2-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.13.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.1-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-28.1)
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.14.1-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.14.1-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.14.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.1-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.1-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.1-emacs-29.3)
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-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-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.16.1-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-29.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.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.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.15.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.15.2-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.15.2-emacs-29.3)
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-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-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-27.1)
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.17.1-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.17.1-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-29.1)
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.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.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-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.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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
|
|
simple-tests (coq-8.19.1-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.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.12.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.12.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.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.11.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.11.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.1-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.1-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.13.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.13.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.13.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-29.2)
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.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.14.1-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.14.1-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.14.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-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.16.1-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.16.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.16.1-emacs-26.3)
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-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-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.16.1-emacs-27.1)
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.15.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.15.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.15.2-emacs-29.3)
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.18.0-emacs-27.1)
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.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.18.0-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-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-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.18.0-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.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-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-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.17.1-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.17.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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 (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (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-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 (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-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-indent (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (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-qrhl (29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-indent (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-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.19.1-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.1-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.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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/
|
|
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 (coq-8.19.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|