Skip to content
CI

proof-stat: address review comments #223

Sign in to view logs

proof-stat: address review comments

proof-stat: address review comments #223

Triggered via push April 25, 2024 09:19
@hendriktewshendriktews
pushed 1440ac2
proof-stat
Status Success
Total duration 16m 12s
Artifacts –

test.yml

on: push
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

256 errors and 238 warnings
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.11.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.11.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.11.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.271713 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.167215 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.184445 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.166906 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.168335 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.187749 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.193056 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.183464 sec)
simple-tests (coq-8.11.2-emacs-29.2)
failed 1/13 goals-after-auto (0.219657 sec)
simple-tests (coq-8.11.2-emacs-29.2)
failed 2/13 goals-after-comment (0.152888 sec)
simple-tests (coq-8.11.2-emacs-29.2)
failed 3/13 goals-after-error (0.153151 sec)
simple-tests (coq-8.11.2-emacs-29.2)
failed 4/13 goals-after-proof (0.151699 sec)
simple-tests (coq-8.11.2-emacs-29.2)
failed 8/13 goals-reset-qed (0.153715 sec)
simple-tests (coq-8.11.2-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.166701 sec)
simple-tests (coq-8.11.2-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.165491 sec)
simple-tests (coq-8.11.2-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.167385 sec)
simple-tests (coq-8.12.2-emacs-29.2)
failed 1/13 goals-after-auto (0.235541 sec)
simple-tests (coq-8.12.2-emacs-29.2)
failed 2/13 goals-after-comment (0.168518 sec)
simple-tests (coq-8.12.2-emacs-29.2)
failed 3/13 goals-after-error (0.171050 sec)
simple-tests (coq-8.12.2-emacs-29.2)
failed 4/13 goals-after-proof (0.168936 sec)
simple-tests (coq-8.12.2-emacs-29.2)
failed 8/13 goals-reset-qed (0.169898 sec)
simple-tests (coq-8.12.2-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.182500 sec)
simple-tests (coq-8.12.2-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.181680 sec)
simple-tests (coq-8.12.2-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.191215 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.255685 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.148532 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.161898 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.146738 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.148574 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.162600 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.174864 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.163455 sec)
simple-tests (coq-8.13.2-emacs-29.2)
failed 1/13 goals-after-auto (0.216917 sec)
simple-tests (coq-8.13.2-emacs-29.2)
failed 2/13 goals-after-comment (0.152534 sec)
simple-tests (coq-8.13.2-emacs-29.2)
failed 3/13 goals-after-error (0.153193 sec)
simple-tests (coq-8.13.2-emacs-29.2)
failed 4/13 goals-after-proof (0.152692 sec)
simple-tests (coq-8.13.2-emacs-29.2)
failed 8/13 goals-reset-qed (0.151980 sec)
simple-tests (coq-8.13.2-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.162978 sec)
simple-tests (coq-8.13.2-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.164180 sec)
simple-tests (coq-8.13.2-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.167538 sec)
simple-tests (coq-8.14.1-emacs-29.2)
failed 1/13 goals-after-auto (0.267199 sec)
simple-tests (coq-8.14.1-emacs-29.2)
failed 2/13 goals-after-comment (0.195107 sec)
simple-tests (coq-8.14.1-emacs-29.2)
failed 3/13 goals-after-error (0.195018 sec)
simple-tests (coq-8.14.1-emacs-29.2)
failed 4/13 goals-after-proof (0.193830 sec)
simple-tests (coq-8.14.1-emacs-29.2)
failed 8/13 goals-reset-qed (0.195103 sec)
simple-tests (coq-8.14.1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.209013 sec)
simple-tests (coq-8.14.1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.207550 sec)
simple-tests (coq-8.14.1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.215896 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.315482 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.193284 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.210423 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.202054 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.196627 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.220769 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.221674 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.212714 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.334925 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.196061 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.208964 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.191662 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.206476 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.220740 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.225039 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.214576 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.334343 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.195362 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.211621 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.195523 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.195299 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.207894 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.225319 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.216318 sec)
simple-tests (coq-8.16.1-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.16.1-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.16.1-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.16.1-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.16.1-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.16.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.16.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.16.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.333075 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.204579 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.196649 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.214592 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.206438 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.220622 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.218529 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.215743 sec)
simple-tests (coq-8.15.2-emacs-29.2)
failed 1/13 goals-after-auto (0.274355 sec)
simple-tests (coq-8.15.2-emacs-29.2)
failed 2/13 goals-after-comment (0.192723 sec)
simple-tests (coq-8.15.2-emacs-29.2)
failed 3/13 goals-after-error (0.194188 sec)
simple-tests (coq-8.15.2-emacs-29.2)
failed 4/13 goals-after-proof (0.196623 sec)
simple-tests (coq-8.15.2-emacs-29.2)
failed 8/13 goals-reset-qed (0.196011 sec)
simple-tests (coq-8.15.2-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.208215 sec)
simple-tests (coq-8.15.2-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.209852 sec)
simple-tests (coq-8.15.2-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.214966 sec)
simple-tests (coq-8.16.1-emacs-29.2)
failed 1/13 goals-after-auto (0.278561 sec)
simple-tests (coq-8.16.1-emacs-29.2)
failed 2/13 goals-after-comment (0.199486 sec)
simple-tests (coq-8.16.1-emacs-29.2)
failed 3/13 goals-after-error (0.199734 sec)
simple-tests (coq-8.16.1-emacs-29.2)
failed 4/13 goals-after-proof (0.200407 sec)
simple-tests (coq-8.16.1-emacs-29.2)
failed 8/13 goals-reset-qed (0.196610 sec)
simple-tests (coq-8.16.1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.209851 sec)
simple-tests (coq-8.16.1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.209661 sec)
simple-tests (coq-8.16.1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.222174 sec)
simple-tests (coq-8.16.1-emacs-27.1)
failed 1/13 goals-after-auto (0.381919 sec)
simple-tests (coq-8.16.1-emacs-27.1)
failed 2/13 goals-after-comment (0.228417 sec)
simple-tests (coq-8.16.1-emacs-27.1)
failed 3/13 goals-after-error (0.249312 sec)
simple-tests (coq-8.16.1-emacs-27.1)
failed 4/13 goals-after-proof (0.230354 sec)
simple-tests (coq-8.16.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.225737 sec)
simple-tests (coq-8.16.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.248564 sec)
simple-tests (coq-8.16.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.262203 sec)
simple-tests (coq-8.16.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.255251 sec)
simple-tests (coq-8.17.1-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.17.1-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.17.1-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.17.1-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.17.1-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.17.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.17.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.17.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.416621 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.312325 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.319765 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.306127 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.304820 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.320556 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.338586 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.328847 sec)
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.18.0-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.18.0-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.18.0-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.18.0-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.18.0-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.17.1-emacs-27.1)
failed 1/13 goals-after-auto (0.324493 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 2/13 goals-after-comment (0.190114 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 3/13 goals-after-error (0.210762 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 4/13 goals-after-proof (0.201320 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.195227 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.207229 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.219724 sec)
simple-tests (coq-8.17.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.219106 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.271319 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.194350 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.192379 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.192419 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.192192 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.208272 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.208647 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.217956 sec)
simple-tests (coq-8.17.1-emacs-29.2)
failed 1/13 goals-after-auto (0.278524 sec)
simple-tests (coq-8.17.1-emacs-29.2)
failed 2/13 goals-after-comment (0.195104 sec)
simple-tests (coq-8.17.1-emacs-29.2)
failed 3/13 goals-after-error (0.199198 sec)
simple-tests (coq-8.17.1-emacs-29.2)
failed 4/13 goals-after-proof (0.198720 sec)
simple-tests (coq-8.17.1-emacs-29.2)
failed 8/13 goals-reset-qed (0.196230 sec)
simple-tests (coq-8.17.1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.208965 sec)
simple-tests (coq-8.17.1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.211605 sec)
simple-tests (coq-8.17.1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.217956 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.500832 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.322003 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.345755 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.326264 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.340327 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.354326 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.350795 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.344078 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 1/13 goals-after-auto (0.337045 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 2/13 goals-after-comment (0.192472 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 3/13 goals-after-error (0.209832 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 4/13 goals-after-proof (0.193279 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.210040 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.218370 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.219360 sec)
simple-tests (coq-8.17.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.214134 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 1/13 goals-after-auto (0.382459 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 2/13 goals-after-comment (0.308925 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 3/13 goals-after-error (0.313700 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 4/13 goals-after-proof (0.313474 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 8/13 goals-reset-qed (0.309731 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.323556 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.322341 sec)
simple-tests (coq-8.18.0-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.331407 sec)
simple-tests (coq-8.18.0-emacs-29.2)
failed 1/13 goals-after-auto (0.375136 sec)
simple-tests (coq-8.18.0-emacs-29.2)
failed 2/13 goals-after-comment (0.307450 sec)
simple-tests (coq-8.18.0-emacs-29.2)
failed 3/13 goals-after-error (0.302563 sec)
simple-tests (coq-8.18.0-emacs-29.2)
failed 4/13 goals-after-proof (0.303861 sec)
simple-tests (coq-8.18.0-emacs-29.2)
failed 8/13 goals-reset-qed (0.325799 sec)
simple-tests (coq-8.18.0-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.317272 sec)
simple-tests (coq-8.18.0-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.318724 sec)
simple-tests (coq-8.18.0-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.328386 sec)
simple-tests (coq-8.19.1-emacs-27.1)
failed 1/13 goals-after-auto (0.417126 sec)
simple-tests (coq-8.19.1-emacs-27.1)
failed 2/13 goals-after-comment (0.312920 sec)
simple-tests (coq-8.19.1-emacs-27.1)
failed 3/13 goals-after-error (0.332375 sec)
simple-tests (coq-8.19.1-emacs-27.1)
failed 4/13 goals-after-proof (0.313751 sec)
simple-tests (coq-8.19.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.309570 sec)
simple-tests (coq-8.19.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.319715 sec)
simple-tests (coq-8.19.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.332176 sec)
simple-tests (coq-8.19.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.331073 sec)
simple-tests (coq-8.19.1-emacs-26.3)
failed 1/13 goals-after-auto
simple-tests (coq-8.19.1-emacs-26.3)
failed 2/13 goals-after-comment
simple-tests (coq-8.19.1-emacs-26.3)
failed 3/13 goals-after-error
simple-tests (coq-8.19.1-emacs-26.3)
failed 4/13 goals-after-proof
simple-tests (coq-8.19.1-emacs-26.3)
failed 8/13 goals-reset-qed
simple-tests (coq-8.19.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
simple-tests (coq-8.19.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
simple-tests (coq-8.19.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
simple-tests (coq-8.19.1-emacs-27.2)
failed 1/13 goals-after-auto (0.420605 sec)
simple-tests (coq-8.19.1-emacs-27.2)
failed 2/13 goals-after-comment (0.310805 sec)
simple-tests (coq-8.19.1-emacs-27.2)
failed 3/13 goals-after-error (0.328147 sec)
simple-tests (coq-8.19.1-emacs-27.2)
failed 4/13 goals-after-proof (0.313077 sec)
simple-tests (coq-8.19.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.315931 sec)
simple-tests (coq-8.19.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.324620 sec)
simple-tests (coq-8.19.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.338347 sec)
simple-tests (coq-8.19.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.332773 sec)
simple-tests (coq-8.19.1-emacs-29.2)
failed 1/13 goals-after-auto (0.381186 sec)
simple-tests (coq-8.19.1-emacs-29.2)
failed 2/13 goals-after-comment (0.313876 sec)
simple-tests (coq-8.19.1-emacs-29.2)
failed 3/13 goals-after-error (0.321895 sec)
simple-tests (coq-8.19.1-emacs-29.2)
failed 4/13 goals-after-proof (0.309029 sec)
simple-tests (coq-8.19.1-emacs-29.2)
failed 8/13 goals-reset-qed (0.310807 sec)
simple-tests (coq-8.19.1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.335431 sec)
simple-tests (coq-8.19.1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.355722 sec)
simple-tests (coq-8.19.1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.335532 sec)
simple-tests (coq-8.19.1-emacs-28.1)
failed 1/13 goals-after-auto (0.435367 sec)
simple-tests (coq-8.19.1-emacs-28.1)
failed 2/13 goals-after-comment (0.311102 sec)
simple-tests (coq-8.19.1-emacs-28.1)
failed 3/13 goals-after-error (0.328574 sec)
simple-tests (coq-8.19.1-emacs-28.1)
failed 4/13 goals-after-proof (0.306390 sec)
simple-tests (coq-8.19.1-emacs-28.1)
failed 8/13 goals-reset-qed (0.321143 sec)
simple-tests (coq-8.19.1-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.336728 sec)
simple-tests (coq-8.19.1-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.332791 sec)
simple-tests (coq-8.19.1-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.337246 sec)
simple-tests (coq-8.19.1-emacs-29.1)
failed 1/13 goals-after-auto (0.378839 sec)
simple-tests (coq-8.19.1-emacs-29.1)
failed 2/13 goals-after-comment (0.314352 sec)
simple-tests (coq-8.19.1-emacs-29.1)
failed 3/13 goals-after-error (0.310623 sec)
simple-tests (coq-8.19.1-emacs-29.1)
failed 4/13 goals-after-proof (0.311458 sec)
simple-tests (coq-8.19.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.310531 sec)
simple-tests (coq-8.19.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.325115 sec)
simple-tests (coq-8.19.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.321132 sec)
simple-tests (coq-8.19.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.331917 sec)
simple-tests (coq-8.19.1-emacs-28.2)
failed 1/13 goals-after-auto (0.449462 sec)
simple-tests (coq-8.19.1-emacs-28.2)
failed 2/13 goals-after-comment (0.318146 sec)
simple-tests (coq-8.19.1-emacs-28.2)
failed 3/13 goals-after-error (0.338699 sec)
simple-tests (coq-8.19.1-emacs-28.2)
failed 4/13 goals-after-proof (0.313257 sec)
simple-tests (coq-8.19.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.330121 sec)
simple-tests (coq-8.19.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.343252 sec)
simple-tests (coq-8.19.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.340395 sec)
simple-tests (coq-8.19.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.333672 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 (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 (26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (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 (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.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-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.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-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.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.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.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-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-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.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.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-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
compile-tests (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.16.1-emacs-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-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.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-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/
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-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/
simple-tests (coq-8.11.2-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
simple-tests (coq-8.11.2-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.12.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
simple-tests (coq-8.12.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.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-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
simple-tests (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.13.2-emacs-29.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.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.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-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-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-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.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.18.0-emacs-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
compile-tests (coq-8.18.0-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.18.0-emacs-29.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-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-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.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
compile-tests (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
compile-tests (coq-8.19.1-emacs-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/
simple-tests (coq-8.15.2-emacs-28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
simple-tests (coq-8.15.2-emacs-28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.15.2-emacs-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/
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/
simple-tests (coq-8.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
simple-tests (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.16.1-emacs-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.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.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.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.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-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-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.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.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
simple-tests (coq-8.17.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.17.1-emacs-29.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.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-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
simple-tests (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.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/
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/
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/
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-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-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-29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
simple-tests (coq-8.19.1-emacs-29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
simple-tests (coq-8.19.1-emacs-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-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/
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/
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/
test (coq-8.13.2-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.13.2-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.13.2-emacs-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-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.14.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.14.1-emacs-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.16.1-emacs-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.16.1-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.16.1-emacs-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-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.16.1-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.16.1-emacs-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.15.2-emacs-27.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.15.2-emacs-27.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.15.2-emacs-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-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-26.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.18.0-emacs-26.3)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.18.0-emacs-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.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 (coq-8.17.1-emacs-28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.17.1-emacs-28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.17.1-emacs-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 (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.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-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 (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-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.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-indent (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test-indent (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (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 (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 (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 (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-qrhl (28.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test-qrhl (28.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-indent (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 (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-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.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 (28.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test-qrhl (28.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test-qrhl (27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test-qrhl (29.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test-qrhl (29.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.1-emacs-27.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.19.1-emacs-27.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.1-emacs-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-29.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (coq-8.19.1-emacs-29.1)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test (coq-8.19.1-emacs-29.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/