Skip to content
CI

Fix #757 indentation of "\in" #739

Sign in to view logs

Fix #757 indentation of "\in"

Fix #757 indentation of "\in" #739

Triggered via pull request September 11, 2024 08:08
@MatafouMatafou
synchronize #789
Matafou:fix-indent-backslashid
Status Success
Total duration 43m 34s
Artifacts –

test.yml

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

Annotations

315 errors and 373 warnings
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.11.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.11.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.11.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.644118 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.229603 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.156317 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/13 goals-after-error (0.158218 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/13 goals-after-proof (0.155463 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.158080 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.170199 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.169798 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.174647 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.750003 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.275904 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.167238 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.184604 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.165566 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.167615 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.180463 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.193383 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.182826 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.650051 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.232123 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.167957 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/13 goals-after-error (0.177434 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/13 goals-after-proof (0.167539 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.168789 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.182853 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.186943 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.183123 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.638490 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.221032 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.156918 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/13 goals-after-error (0.154561 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/13 goals-after-proof (0.153391 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.155243 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.172514 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.172323 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.170604 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.798103 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.278629 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.152269 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.168181 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.152794 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.154835 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.169148 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.177234 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.168414 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.821924 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.322865 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.194094 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.210672 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.201156 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.194196 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.210936 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.215752 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.211089 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.689017 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.266176 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.196290 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/13 goals-after-error (0.194073 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/13 goals-after-proof (0.191414 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.194771 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.208784 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.205906 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.219995 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.310425 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.192449 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.209725 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.195308 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.191751 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.203958 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.218618 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.215018 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.781630 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.271901 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.193580 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.198060 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/13 goals-after-proof (0.202440 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.196176 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.211695 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.211624 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.220760 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.661350 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.326477 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.206619 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.193118 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.204334 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.205265 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.217431 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.217810 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.214517 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.818109 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.342098 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.212621 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.201707 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.213657 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.208333 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.225314 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.222216 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.227522 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.842771 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.273777 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.191936 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.191063 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/13 goals-after-proof (0.192595 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.196277 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.207803 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.207881 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.214080 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.666227 sec)
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.17.1-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.17.1-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.17.1-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.17.1-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.17.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.17.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.17.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.18.0-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.18.0-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.18.0-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.18.0-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.18.0-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/13 goals-after-auto (0.317405 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/13 goals-after-comment (0.196979 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/13 goals-after-error (0.209047 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/13 goals-after-proof (0.194721 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.195621 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.206303 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.218620 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.215824 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.807220 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/13 goals-after-auto (0.322319 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/13 goals-after-comment (0.203935 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/13 goals-after-error (0.188035 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/13 goals-after-proof (0.200267 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.201739 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.208786 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.215676 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.206941 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.792839 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.279823 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.197721 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.199338 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.195426 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.197400 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.209529 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.211949 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.219349 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.670832 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.429850 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.305578 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.322486 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.319750 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.305590 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.319107 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.331976 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.331552 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.979022 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.442036 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.316817 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.313208 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.321884 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.312155 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.338225 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.334916 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.327502 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.009799 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.371754 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.306381 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.317727 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/13 goals-after-proof (0.301508 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.307556 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.319086 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.321380 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.327612 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.841181 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.281321 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.198347 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.199773 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/13 goals-after-proof (0.198989 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.197624 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.211484 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.209231 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.221352 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.663636 sec)
simple-tests (coq-8.19.2-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.19.2-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.19.2-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.19.2-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.19.2-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.19.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.19.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.19.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.19.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.376258 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.333537 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.310033 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/13 goals-after-proof (0.314345 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.311001 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.319241 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.319930 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.329954 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.824192 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.441297 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.314744 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.334446 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/13 goals-after-proof (0.315196 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.314908 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.329953 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.343807 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.338513 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.996025 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.435081 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.321572 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.311412 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/13 goals-after-proof (0.325586 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/13 goals-reset-qed (0.329504 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.336537 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.339151 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.333767 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.989084 sec)
simple-tests (coq-8.20.0-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.20.0-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.20.0-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.20.0-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.20.0-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.20.0-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.20.0-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.20.0-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.20.0-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.20.0-emacs-27.2)
failed 1/13 goals-after-auto (0.416842 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 2/13 goals-after-comment (0.310481 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 3/13 goals-after-error (0.327580 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 4/13 goals-after-proof (0.309174 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 8/13 goals-reset-qed (0.312802 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.327298 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.337750 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.334439 sec)
simple-tests (coq-8.20.0-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.954216 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 1/13 goals-after-auto (0.417691 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 2/13 goals-after-comment (0.313147 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 3/13 goals-after-error (0.332095 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 4/13 goals-after-proof (0.324356 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.314053 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.327688 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.341331 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.336697 sec)
simple-tests (coq-8.20.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.968659 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 1/13 goals-after-auto (0.442108 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 2/13 goals-after-comment (0.329294 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 3/13 goals-after-error (0.318375 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 4/13 goals-after-proof (0.335563 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 8/13 goals-reset-qed (0.330164 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.341442 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.341335 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.357298 sec)
simple-tests (coq-8.20.0-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.058670 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 1/13 goals-after-auto (0.392359 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 2/13 goals-after-comment (0.321874 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 3/13 goals-after-error (0.316693 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 4/13 goals-after-proof (0.322260 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 8/13 goals-reset-qed (0.317018 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.331691 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.331422 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.342223 sec)
simple-tests (coq-8.20.0-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.856824 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 1/13 goals-after-auto (0.433542 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 2/13 goals-after-comment (0.332138 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 3/13 goals-after-error (0.317360 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 4/13 goals-after-proof (0.323802 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.316448 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.339803 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.340246 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.333602 sec)
simple-tests (coq-8.20.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.016836 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 1/13 goals-after-auto (0.387141 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 2/13 goals-after-comment (0.316885 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 3/13 goals-after-error (0.328803 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 4/13 goals-after-proof (0.313310 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.315655 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.329687 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.340641 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.339811 sec)
simple-tests (coq-8.20.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.856811 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 1/13 goals-after-auto (0.382473 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 2/13 goals-after-comment (0.320151 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 3/13 goals-after-error (0.325595 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 4/13 goals-after-proof (0.314589 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 8/13 goals-reset-qed (0.313638 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.329574 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.328778 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.338637 sec)
simple-tests (coq-8.20.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.852792 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 1/13 goals-after-auto (0.394225 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 2/13 goals-after-comment (0.318500 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 3/13 goals-after-error (0.322813 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 4/13 goals-after-proof (0.320235 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 8/13 goals-reset-qed (0.319199 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.333602 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.332233 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.343414 sec)
simple-tests (coq-8.20.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.861307 sec)
check-doc-magic (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
check-doc-magic (28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
check-doc-magic (29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
check-doc-magic (29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-indent (29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-qrhl (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.13.2-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.12.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.11.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.12.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.12.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.11.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.11.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.13.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.13.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.14.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.14.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.14.1-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.16.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.16.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.16.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.15.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.15.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.15.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.17.1-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.17.1-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.15.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.17.1-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.17.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.18.0-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.18.0-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.17.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.17.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.11.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.11.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.11.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.12.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.12.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.12.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.18.0-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.18.0-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.18.0-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.13.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.13.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.13.2-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.14.1-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.14.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.14.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.15.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.0-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.20.0-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
compile-tests (coq-8.20.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.16.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.16.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.15.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.16.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.15.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.15.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.17.1-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.18.0-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.17.1-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.17.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.17.1-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.18.0-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.18.0-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.18.0-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.18.0-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.17.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.11.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.2-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.11.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.11.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.12.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.12.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.12.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.13.2-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.13.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.13.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.14.1-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.14.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.14.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.16.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.16.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.16.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.15.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.15.2-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.15.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.15.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.17.1-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.18.0-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.18.0-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.17.1-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.18.0-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.18.0-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.18.0-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.17.1-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.20.0-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
simple-tests (coq-8.20.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.17.1-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.17.1-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.2-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-26.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-27.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-27.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-28.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-28.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-29.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-29.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-29.3)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-29.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-29.4)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.0-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.20.0-emacs-29.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (coq-8.20.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config