Merge pull request #807 from hendriktews/ci-update #756
hendriktewstest.yml
on: push
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
306 errors and 232 warnings
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.611843 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.212271 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.147950 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/13 goals-after-error (0.152124 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/13 goals-after-proof (0.147902 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.146994 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.160328 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.162037 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.168090 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.760381 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.278367 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.166408 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.171914 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.156881 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.159204 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.174697 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.184248 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.175265 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.626823 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.225185 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.159345 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/13 goals-after-error (0.159070 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/13 goals-after-proof (0.159321 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.163063 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.179190 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.172636 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.175605 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.609509 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.209224 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.139466 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/13 goals-after-error (0.142679 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/13 goals-after-proof (0.148812 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.142655 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.157044 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.153378 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.159701 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.659907 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.246047 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.178688 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/13 goals-after-error (0.179698 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/13 goals-after-proof (0.180274 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.177651 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.192858 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.193286 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.200839 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.735406 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.281900 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.142242 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.160327 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.140784 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.149440 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.154814 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.171734 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.164953 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.785511 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.297261 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.174740 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.189095 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.174490 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.174221 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.187193 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.210360 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.195545 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.305731 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.176108 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.193066 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.176353 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.175734 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.189930 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.207625 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.196747 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.753645 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.315383 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.194856 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.179167 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.191559 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.178108 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.214038 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.204494 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.231316 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.801284 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.261892 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.179875 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.180076 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/13 goals-after-proof (0.180752 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.177796 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.193606 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.190206 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.201289 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.642539 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.353518 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.194555 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.185660 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.194771 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.181604 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.207511 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.208191 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.201290 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.880247 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.274940 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.186008 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.188934 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/13 goals-after-proof (0.191177 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.186694 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.200606 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.199685 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.207961 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.663278 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.255375 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.176521 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.178338 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.179064 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.178399 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.190450 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.189819 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.198958 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.659580 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.409353 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.296239 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.301796 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.287999 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.286846 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.299910 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.317296 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.306683 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.936912 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.414490 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.303254 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.290282 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.309189 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.298342 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.321333 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.328548 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.313555 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.007704 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/13 goals-after-auto (0.367090 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 2/13 goals-after-comment (0.299087 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/13 goals-after-error (0.294556 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/13 goals-after-proof (0.309167 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/13 goals-reset-qed (0.295007 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.304362 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.303462 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.312449 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.818034 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.360958 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.294353 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.292966 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/13 goals-after-proof (0.292658 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.293520 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.304623 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.306031 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.320254 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.822729 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.256862 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.183086 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.186025 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/13 goals-after-proof (0.189958 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.181065 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.196112 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.191751 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.201143 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.639015 sec)
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.412699 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.296862 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.306716 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/13 goals-after-proof (0.294353 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.293548 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.306943 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.321031 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.316638 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.934755 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.418082 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.311700 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.300365 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/13 goals-after-proof (0.311875 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/13 goals-reset-qed (0.296906 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.321798 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.323850 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.322727 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.978947 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.364638 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.300496 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.302698 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/13 goals-after-proof (0.300492 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.296670 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.311244 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.309835 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.327081 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.828623 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.363117 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.296174 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.296371 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/13 goals-after-proof (0.295319 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.296960 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.307821 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.307444 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.325966 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.817823 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 4/13 goals-after-proof
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 8/13 goals-reset-qed
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 11/13 goals-up-to-date-at-error
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 12/13 goals-updated-after-check-many-steps
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 13/13 goals-updated-after-search-many-steps
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/13 goals-after-auto (0.415197 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 2/13 goals-after-comment (0.299587 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/13 goals-after-error (0.317453 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/13 goals-after-proof (0.297792 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.305765 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.311969 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.325093 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.321757 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.929105 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/13 goals-after-auto (0.420510 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 2/13 goals-after-comment (0.309942 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/13 goals-after-error (0.299658 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 4/13 goals-after-proof (0.311012 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 8/13 goals-reset-qed (0.297073 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.323626 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.325333 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.320045 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.019669 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/13 goals-after-auto (0.459792 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 2/13 goals-after-comment (0.307564 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/13 goals-after-error (0.327280 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 4/13 goals-after-proof (0.309744 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.307001 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.320600 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.333249 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.338886 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (1.008324 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/13 goals-after-auto (0.433362 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 2/13 goals-after-comment (0.316099 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/13 goals-after-error (0.305943 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/13 goals-after-proof (0.320178 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.300549 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.328636 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.327135 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.327226 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.992820 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/13 goals-after-auto (0.366057 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 2/13 goals-after-comment (0.300530 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/13 goals-after-error (0.302171 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 4/13 goals-after-proof (0.310379 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 8/13 goals-reset-qed (0.299928 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.313775 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.313691 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.319877 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.819793 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/13 goals-after-auto (0.367610 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 2/13 goals-after-comment (0.301935 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/13 goals-after-error (0.312533 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 4/13 goals-after-proof (0.299562 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.301609 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.315815 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.316993 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.320375 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.822001 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/13 goals-after-auto (0.380976 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 2/13 goals-after-comment (0.311147 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/13 goals-after-error (0.309416 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/13 goals-after-proof (0.313471 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/13 goals-reset-qed (0.308663 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.319385 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.319436 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.329752 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.851288 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/13 goals-after-auto (0.367225 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 2/13 goals-after-comment (0.300364 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/13 goals-after-error (0.303967 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/13 goals-after-proof (0.304667 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.300519 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.313124 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.310751 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.322437 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.818820 sec)
|
|
check-doc-magic (28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
check-doc-magic (29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (29.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.13.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.11.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.11.2-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.12.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.12.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.14.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.13.2-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.14.1-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.2-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.12.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.12.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.13.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.14.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.13.2-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.14.1-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
compile-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.2-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.13.2-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.13.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.14.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
simple-tests (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.14.1-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.18.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-indent (26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.19.2-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-indent (27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-indent (28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-indent (27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.19.2-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-indent (28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.19.2-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-indent (29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-qrhl (26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-qrhl (27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-qrhl (27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-26.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-27.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-qrhl (28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-qrhl (29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-qrhl (28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-indent (29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-27.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-indent (29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-28.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-indent (29.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-28.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test-qrhl (29.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-qrhl (29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-qrhl (29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-29.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|