fix 3-pane mode for small frame heights #644
hendriktewstest.yml
on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
252 errors and 238 warnings
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/6 test-proof-select-three-b-default-height
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/6 test-proof-select-three-b-too-small
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/6 test-proof-toggle-active-scripting-default-height
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 6/6 test-proof-toggle-active-scripting-too-small
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000323 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.143399 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 1/7 goals-after-auto (0.226694 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 2/7 goals-after-comment (0.156129 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 3/7 goals-after-error (0.161806 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 4/7 goals-after-proof (0.155569 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.171085 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000448 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.154207 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 1/7 goals-after-auto (0.241955 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 2/7 goals-after-comment (0.171314 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 3/7 goals-after-error (0.173529 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 4/7 goals-after-proof (0.170827 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.191790 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000211 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.133500 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 1/7 goals-after-auto (0.228180 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 2/7 goals-after-comment (0.157303 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 3/7 goals-after-error (0.158110 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 4/7 goals-after-proof (0.161221 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.169023 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/6 test-proof-select-three-b-default-height (0.000428 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/6 test-proof-select-three-b-too-small (0.000365 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/6 test-proof-toggle-active-scripting-default-height (0.712599 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.129884 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/7 goals-after-auto (0.271686 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/7 goals-after-comment (0.147150 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/7 goals-after-error (0.163530 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/7 goals-after-proof (0.146223 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/7 update-goals-after-error (0.172392 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000481 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.175169 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 1/7 goals-after-auto (0.256930 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 2/7 goals-after-comment (0.189784 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 3/7 goals-after-error (0.194784 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 4/7 goals-after-proof (0.191084 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.202542 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/6 test-proof-select-three-b-default-height (0.000404 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/6 test-proof-select-three-b-too-small (0.000376 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/6 test-proof-toggle-active-scripting-default-height (0.785260 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.152680 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/7 goals-after-auto (0.311711 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/7 goals-after-comment (0.169559 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/7 goals-after-error (0.186386 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/7 goals-after-proof (0.166276 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/7 update-goals-after-error (0.195360 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/6 test-proof-select-three-b-default-height (0.000390 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/6 test-proof-select-three-b-too-small (0.000386 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/6 test-proof-toggle-active-scripting-default-height (0.788916 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.174595 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/7 goals-after-auto (0.327527 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/7 goals-after-comment (0.191448 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/7 goals-after-error (0.211150 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/7 goals-after-proof (0.191835 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/7 update-goals-after-error (0.219502 sec)
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 1/6 test-proof-select-three-b-default-height
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 3/6 test-proof-select-three-b-too-small
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 4/6 test-proof-toggle-active-scripting-default-height
|
|
simple-tests (coq-8.16.1-emacs-26.3)
failed 6/6 test-proof-toggle-active-scripting-too-small
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/7 goals-after-auto (0.334358 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/7 goals-after-comment (0.191992 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/7 goals-after-error (0.210025 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/7 goals-after-proof (0.193319 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/7 update-goals-after-error (0.221157 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/6 test-proof-select-three-b-default-height (0.000544 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/6 test-proof-select-three-b-too-small (0.000384 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/6 test-proof-toggle-active-scripting-default-height (0.780992 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.177135 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 1/7 goals-after-auto (0.340136 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 2/7 goals-after-comment (0.195500 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 3/7 goals-after-error (0.204538 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 4/7 goals-after-proof (0.196641 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.222672 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 1/6 test-proof-select-three-b-default-height (0.000400 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 3/6 test-proof-select-three-b-too-small (0.000389 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 4/6 test-proof-toggle-active-scripting-default-height (0.782090 sec)
|
|
simple-tests (coq-8.16.1-emacs-27.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.176084 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 1/7 goals-after-auto (0.287947 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 2/7 goals-after-comment (0.201659 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 3/7 goals-after-error (0.200929 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 4/7 goals-after-proof (0.203666 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 7/7 update-goals-after-error (0.213961 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000333 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.180659 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/7 goals-after-auto (0.379982 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/7 goals-after-comment (0.200790 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/7 goals-after-error (0.220226 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/7 goals-after-proof (0.219207 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/7 update-goals-after-error (0.233155 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/6 test-proof-select-three-b-too-small (0.000347 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.183494 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/7 goals-after-auto (0.326894 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/7 goals-after-comment (0.191884 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/7 goals-after-error (0.208087 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/7 goals-after-proof (0.203831 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.216237 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/6 test-proof-select-three-b-too-small (0.000447 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.172168 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 1/7 goals-after-auto (0.272633 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 2/7 goals-after-comment (0.191266 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 3/7 goals-after-error (0.197892 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 4/7 goals-after-proof (0.195353 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.207205 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000356 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.178689 sec)
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/6 test-proof-select-three-b-default-height
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 3/6 test-proof-select-three-b-too-small
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 4/6 test-proof-toggle-active-scripting-default-height
|
|
simple-tests (coq-8.17.1-emacs-26.3)
failed 6/6 test-proof-toggle-active-scripting-too-small
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/6 test-proof-select-three-b-default-height
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/6 test-proof-select-three-b-too-small
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/6 test-proof-toggle-active-scripting-default-height
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 6/6 test-proof-toggle-active-scripting-too-small
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/7 goals-after-auto (0.432414 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/7 goals-after-comment (0.306378 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/7 goals-after-error (0.322601 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/7 goals-after-proof (0.302223 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 7/7 update-goals-after-error (0.331787 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/6 test-proof-select-three-b-default-height (0.000416 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/6 test-proof-select-three-b-too-small (0.000405 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/6 test-proof-toggle-active-scripting-default-height (0.937128 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.288491 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/7 goals-after-auto (0.387217 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 2/7 goals-after-comment (0.307934 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/7 goals-after-error (0.304335 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 4/7 goals-after-proof (0.303520 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 7/7 update-goals-after-error (0.316447 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/6 test-proof-select-three-b-too-small (0.000362 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.292650 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/7 goals-after-auto (0.432844 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/7 goals-after-comment (0.310524 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/7 goals-after-error (0.333478 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/7 goals-after-proof (0.323013 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 7/7 update-goals-after-error (0.336258 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/6 test-proof-select-three-b-too-small (0.000373 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.288165 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/7 goals-after-auto (0.332004 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/7 goals-after-comment (0.193922 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/7 goals-after-error (0.208307 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/7 goals-after-proof (0.197908 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.223268 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/6 test-proof-select-three-b-default-height (0.000416 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/6 test-proof-select-three-b-too-small (0.000443 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/6 test-proof-toggle-active-scripting-default-height (0.766219 sec)
|
|
simple-tests (coq-8.17.1-emacs-27.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.174753 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 1/7 goals-after-auto (0.271241 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 2/7 goals-after-comment (0.192223 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 3/7 goals-after-error (0.194599 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 4/7 goals-after-proof (0.190748 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.207084 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000319 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.175424 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/7 goals-after-auto (0.274729 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/7 goals-after-comment (0.195291 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/7 goals-after-error (0.198666 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/7 goals-after-proof (0.197834 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/7 update-goals-after-error (0.210630 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/6 test-proof-select-three-b-too-small (0.000322 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.174908 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/7 goals-after-auto (0.337561 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/7 goals-after-comment (0.195766 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/7 goals-after-error (0.213685 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/7 goals-after-proof (0.211548 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.225299 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/6 test-proof-select-three-b-too-small (0.000545 sec)
|
|
simple-tests (coq-8.17.1-emacs-28.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.178867 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 1/7 goals-after-auto (0.374471 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 2/7 goals-after-comment (0.310945 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 3/7 goals-after-error (0.306306 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 4/7 goals-after-proof (0.304883 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 7/7 update-goals-after-error (0.318885 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000346 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.288714 sec)
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 1/7 goals-after-auto
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 2/7 goals-after-comment
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 3/7 goals-after-error
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 4/7 goals-after-proof
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 7/7 update-goals-after-error
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 1/6 test-proof-select-three-b-default-height
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 3/6 test-proof-select-three-b-too-small
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 4/6 test-proof-toggle-active-scripting-default-height
|
|
simple-tests (coq-8.19.1-emacs-26.3)
failed 6/6 test-proof-toggle-active-scripting-too-small
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 1/7 goals-after-auto (0.430108 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 2/7 goals-after-comment (0.311268 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 3/7 goals-after-error (0.325309 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 4/7 goals-after-proof (0.320516 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 7/7 update-goals-after-error (0.334732 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 3/6 test-proof-select-three-b-too-small (0.000400 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.288484 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 1/7 goals-after-auto (0.489194 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 2/7 goals-after-comment (0.318000 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 3/7 goals-after-error (0.335757 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 4/7 goals-after-proof (0.326781 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 7/7 update-goals-after-error (0.343880 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 1/6 test-proof-select-three-b-default-height (0.000444 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 3/6 test-proof-select-three-b-too-small (0.000437 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 4/6 test-proof-toggle-active-scripting-default-height (1.037119 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.305434 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 1/7 goals-after-auto (0.437066 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 2/7 goals-after-comment (0.306370 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 3/7 goals-after-error (0.322915 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 4/7 goals-after-proof (0.311108 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 7/7 update-goals-after-error (0.337985 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 1/6 test-proof-select-three-b-default-height (0.000420 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 3/6 test-proof-select-three-b-too-small (0.000388 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 4/6 test-proof-toggle-active-scripting-default-height (0.934603 sec)
|
|
simple-tests (coq-8.19.1-emacs-27.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.289815 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 1/7 goals-after-auto (0.453179 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 2/7 goals-after-comment (0.315497 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 3/7 goals-after-error (0.336755 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 4/7 goals-after-proof (0.340459 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 7/7 update-goals-after-error (0.369810 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 3/6 test-proof-select-three-b-too-small (0.000388 sec)
|
|
simple-tests (coq-8.19.1-emacs-28.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.295557 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 1/7 goals-after-auto (0.376555 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 2/7 goals-after-comment (0.308089 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 3/7 goals-after-error (0.314210 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 4/7 goals-after-proof (0.313437 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 7/7 update-goals-after-error (0.322994 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 3/6 test-proof-select-three-b-too-small (0.000298 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.1)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.292987 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 1/7 goals-after-auto (0.411247 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 2/7 goals-after-comment (0.324160 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 3/7 goals-after-error (0.329991 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 4/7 goals-after-proof (0.335375 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 7/7 update-goals-after-error (0.347119 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 3/6 test-proof-select-three-b-too-small (0.000341 sec)
|
|
simple-tests (coq-8.19.1-emacs-29.2)
failed 6/6 test-proof-toggle-active-scripting-too-small (0.294276 sec)
|
|
check-doc-magic (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
check-doc-magic (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
check-doc-magic (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
check-doc-magic (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.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.11.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.11.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.12.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.12.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.13.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.13.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.12.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.14.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.14.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.14.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.15.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.16.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.17.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.17.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.11.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.11.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.12.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.12.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.13.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.13.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.14.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.14.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.12.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.14.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.18.0-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.18.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.19.1-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
compile-tests (coq-8.19.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
compile-tests (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.15.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.16.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.16.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.11.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.11.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.12.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.18.0-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.18.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.19.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
simple-tests (coq-8.19.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
simple-tests (coq-8.19.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.12.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.12.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.13.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.13.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.14.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.14.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.14.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.15.2-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.15.2-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.16.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.16.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.16.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.16.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.16.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.18.0-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.18.0-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.18.0-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.18.0-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.18.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.17.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.17.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-indent (29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-indent (29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test-qrhl (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test-qrhl (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test (coq-8.19.1-emacs-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
test (coq-8.19.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|