Skip to content
CI

reliably detect coqdep errors for 8.19 #542

Sign in to view logs

reliably detect coqdep errors for 8.19

reliably detect coqdep errors for 8.19 #542

Re-run triggered January 5, 2024 10:28
@hendriktewshendriktews
#723
hendriktews:coqdep
Status Success
Total duration 5m 13s
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

82 errors and 119 warnings
compile-tests (coq-8.19-rc-emacs-29.1)
failed 1/3 cct-coqdep-fail-on-require (0.462675 sec)
compile-tests (coq-8.19-rc-emacs-29.1)
failed 2/3 cct-coqdep-fail-on-require-in-dependency (0.616719 sec)
compile-tests (coq-8.19-rc-emacs-28.1)
failed 1/3 cct-coqdep-fail-on-require (0.498462 sec)
compile-tests (coq-8.19-rc-emacs-28.1)
failed 2/3 cct-coqdep-fail-on-require-in-dependency (0.620246 sec)
compile-tests (coq-8.19-rc-emacs-28.2)
failed 1/3 cct-coqdep-fail-on-require (0.509197 sec)
compile-tests (coq-8.19-rc-emacs-28.2)
failed 2/3 cct-coqdep-fail-on-require-in-dependency (0.627662 sec)
compile-tests (coq-8.19-rc-emacs-27.2)
failed 1/3 cct-coqdep-fail-on-require (0.527263 sec)
compile-tests (coq-8.19-rc-emacs-27.2)
failed 2/3 cct-coqdep-fail-on-require-in-dependency (0.634558 sec)
compile-tests (coq-8.19-rc-emacs-27.1)
failed 1/3 cct-coqdep-fail-on-require (0.506269 sec)
compile-tests (coq-8.19-rc-emacs-27.1)
failed 2/3 cct-coqdep-fail-on-require-in-dependency (0.605118 sec)
compile-tests (coq-8.19-rc-emacs-26.1)
failed 1/3 cct-coqdep-fail-on-require
compile-tests (coq-8.19-rc-emacs-26.1)
failed 2/3 cct-coqdep-fail-on-require-in-dependency
compile-tests (coq-8.19-rc-emacs-26.2)
failed 1/3 cct-coqdep-fail-on-require
compile-tests (coq-8.19-rc-emacs-26.2)
failed 2/3 cct-coqdep-fail-on-require-in-dependency
simple-tests (coq-8.19-rc-emacs-28.2)
failed 1/3 omit-proofs-never-omit-hints (0.427292 sec)
simple-tests (coq-8.19-rc-emacs-28.2)
failed 2/3 omit-proofs-never-omit-lets (0.326670 sec)
simple-tests (coq-8.19-rc-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.389132 sec)
simple-tests (coq-8.19-rc-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.320837 sec)
simple-tests (coq-8.19-rc-emacs-27.2)
failed 1/3 omit-proofs-never-omit-hints (0.438101 sec)
simple-tests (coq-8.19-rc-emacs-27.2)
failed 2/3 omit-proofs-never-omit-lets (0.341997 sec)
simple-tests (coq-8.19-rc-emacs-28.1)
failed 1/3 omit-proofs-never-omit-hints (0.447344 sec)
simple-tests (coq-8.19-rc-emacs-28.1)
failed 2/3 omit-proofs-never-omit-lets (0.336095 sec)
simple-tests (coq-8.19-rc-emacs-26.3)
failed 1/3 omit-proofs-never-omit-hints
simple-tests (coq-8.19-rc-emacs-27.1)
failed 1/3 omit-proofs-never-omit-hints (0.447685 sec)
simple-tests (coq-8.19-rc-emacs-26.3)
failed 2/3 omit-proofs-never-omit-lets
simple-tests (coq-8.19-rc-emacs-27.1)
failed 2/3 omit-proofs-never-omit-lets (0.329245 sec)
simple-tests (coq-8.19-rc-emacs-26.2)
failed 1/3 omit-proofs-never-omit-hints
simple-tests (coq-8.19-rc-emacs-26.2)
failed 2/3 omit-proofs-never-omit-lets
simple-tests (coq-8.19-rc-emacs-26.1)
failed 1/3 omit-proofs-never-omit-hints
simple-tests (coq-8.19-rc-emacs-26.1)
failed 2/3 omit-proofs-never-omit-lets
simple-tests (coq-8.18-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.368194 sec)
simple-tests (coq-8.18-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.306435 sec)
simple-tests (coq-8.18-emacs-28.2)
failed 1/3 omit-proofs-never-omit-hints (0.436138 sec)
simple-tests (coq-8.18-emacs-28.2)
failed 2/3 omit-proofs-never-omit-lets (0.300878 sec)
simple-tests (coq-8.18-emacs-28.1)
failed 1/3 omit-proofs-never-omit-hints (0.433560 sec)
simple-tests (coq-8.18-emacs-28.1)
failed 2/3 omit-proofs-never-omit-lets (0.301788 sec)
simple-tests (coq-8.18-emacs-26.3)
failed 1/3 omit-proofs-never-omit-hints
simple-tests (coq-8.18-emacs-26.3)
failed 2/3 omit-proofs-never-omit-lets
simple-tests (coq-8.18-emacs-27.1)
failed 1/3 omit-proofs-never-omit-hints (0.424518 sec)
simple-tests (coq-8.18-emacs-27.1)
failed 2/3 omit-proofs-never-omit-lets (0.317814 sec)
simple-tests (coq-8.18-emacs-27.2)
failed 1/3 omit-proofs-never-omit-hints (0.421527 sec)
simple-tests (coq-8.18-emacs-27.2)
failed 2/3 omit-proofs-never-omit-lets (0.319000 sec)
simple-tests (coq-8.17-emacs-28.2)
failed 1/3 omit-proofs-never-omit-hints (0.344441 sec)
simple-tests (coq-8.17-emacs-28.2)
failed 2/3 omit-proofs-never-omit-lets (0.193404 sec)
simple-tests (coq-8.17-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.279000 sec)
simple-tests (coq-8.17-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.195658 sec)
simple-tests (coq-8.17-emacs-26.3)
failed 1/3 omit-proofs-never-omit-hints
simple-tests (coq-8.17-emacs-26.3)
failed 2/3 omit-proofs-never-omit-lets
simple-tests (coq-8.17-emacs-27.1)
failed 1/3 omit-proofs-never-omit-hints (0.324819 sec)
simple-tests (coq-8.17-emacs-27.1)
failed 2/3 omit-proofs-never-omit-lets (0.210891 sec)
simple-tests (coq-8.16-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.272268 sec)
simple-tests (coq-8.16-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.193001 sec)
simple-tests (coq-8.16-emacs-28.2)
failed 1/3 omit-proofs-never-omit-hints (0.345308 sec)
simple-tests (coq-8.16-emacs-28.2)
failed 2/3 omit-proofs-never-omit-lets (0.189200 sec)
simple-tests (coq-8.16-emacs-27.1)
failed 1/3 omit-proofs-never-omit-hints (0.324560 sec)
simple-tests (coq-8.16-emacs-27.1)
failed 2/3 omit-proofs-never-omit-lets (0.207952 sec)
simple-tests (coq-8.16-emacs-26.3)
failed 1/3 omit-proofs-never-omit-hints
simple-tests (coq-8.16-emacs-26.3)
failed 2/3 omit-proofs-never-omit-lets
simple-tests (coq-8.15-emacs-28.1)
failed 1/3 omit-proofs-never-omit-hints (0.345235 sec)
simple-tests (coq-8.15-emacs-28.1)
failed 2/3 omit-proofs-never-omit-lets (0.194191 sec)
simple-tests (coq-8.15-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.265067 sec)
simple-tests (coq-8.15-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.193828 sec)
simple-tests (coq-8.15-emacs-27.1)
failed 1/3 omit-proofs-never-omit-hints (0.312479 sec)
simple-tests (coq-8.15-emacs-27.1)
failed 2/3 omit-proofs-never-omit-lets (0.202242 sec)
simple-tests (coq-8.14-emacs-27.2)
failed 1/3 omit-proofs-never-omit-hints (0.309392 sec)
simple-tests (coq-8.14-emacs-27.2)
failed 2/3 omit-proofs-never-omit-lets (0.201531 sec)
simple-tests (coq-8.13-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.227159 sec)
simple-tests (coq-8.13-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.147603 sec)
simple-tests (coq-8.14-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.259744 sec)
simple-tests (coq-8.14-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.191685 sec)
simple-tests (coq-8.13-emacs-27.2)
failed 1/3 omit-proofs-never-omit-hints (0.274634 sec)
simple-tests (coq-8.12-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.242054 sec)
simple-tests (coq-8.13-emacs-27.2)
failed 2/3 omit-proofs-never-omit-lets (0.162058 sec)
simple-tests (coq-8.12-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.169953 sec)
simple-tests (coq-8.12-emacs-27.1)
failed 1/3 omit-proofs-never-omit-hints (0.287629 sec)
simple-tests (coq-8.12-emacs-27.1)
failed 2/3 omit-proofs-never-omit-lets (0.178790 sec)
simple-tests (coq-8.11-emacs-29.1)
failed 1/3 omit-proofs-never-omit-hints (0.223638 sec)
simple-tests (coq-8.11-emacs-29.1)
failed 2/3 omit-proofs-never-omit-lets (0.158365 sec)
simple-tests (coq-8.11-emacs-26.3)
failed 1/3 omit-proofs-never-omit-hints
simple-tests (coq-8.11-emacs-26.3)
failed 2/3 omit-proofs-never-omit-lets
compile-tests (coq-8.19-rc-emacs-26.3)
failed 1/3 cct-coqdep-fail-on-require
compile-tests (coq-8.19-rc-emacs-26.3)
failed 2/3 cct-coqdep-fail-on-require-in-dependency
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 (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 (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/
check-doc-magic (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19-rc-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/
check-doc-magic (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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-rc-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19-rc-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-rc-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19-rc-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-rc-emacs-26.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-rc-emacs-26.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-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.18-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.18-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-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.18-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-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-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-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-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-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.16-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.16-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.15-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.16-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.16-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-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-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.14-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-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.13-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.13-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.12-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.12-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.11-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.11-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-rc-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-rc-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19-rc-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19-rc-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19-rc-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-rc-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-rc-emacs-26.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-rc-emacs-26.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-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.18-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-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.18-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-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-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.17-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-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-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-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.16-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.16-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-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.16-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.15-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-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.15-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.14-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-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.14-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.13-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.12-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.12-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.11-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.13-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.12-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.11-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.13-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.12-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.11-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.11-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-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 (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 (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 (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 (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 (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.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (28.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-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.15-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.14-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.15-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-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-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 (coq-8.16-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-indent (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (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-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.16-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-qrhl (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.16-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-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-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-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-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-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-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-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-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.18-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.18-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19-rc-emacs-26.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-rc-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-rc-emacs-26.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-rc-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19-rc-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-rc-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19-rc-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-rc-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19-rc-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/