Skip to content

coq/generic: display empty strings in diagnostic messages #757

coq/generic: display empty strings in diagnostic messages

coq/generic: display empty strings in diagnostic messages #757

Triggered via pull request January 25, 2025 14:10
Status Success
Total duration 35m 54s
Artifacts

test.yml

on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test

Annotations

306 errors and 233 warnings
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.624584 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.227482 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.159558 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/13 goals-after-error (0.160950 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/13 goals-after-proof (0.161263 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.168978 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.178231 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.173053 sec)
simple-tests (coq-8.12.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.174950 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.630353 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.218055 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.150007 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/13 goals-after-error (0.152724 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/13 goals-after-proof (0.156007 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.151572 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.165017 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.163938 sec)
simple-tests (coq-8.11.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.166617 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.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.724145 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.256600 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.137021 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/13 goals-after-error (0.153351 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/13 goals-after-proof (0.138606 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/13 goals-reset-qed (0.138113 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.150744 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.163741 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.153929 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.793615 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.275227 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.160314 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/13 goals-after-error (0.172653 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/13 goals-after-proof (0.159212 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.157049 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.171013 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.182151 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.172797 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.599985 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.205016 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.150495 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/13 goals-after-error (0.141948 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/13 goals-after-proof (0.140146 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.141687 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.153715 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.151132 sec)
simple-tests (coq-8.13.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.158692 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.656565 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.247379 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.178858 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/13 goals-after-error (0.179418 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/13 goals-after-proof (0.177359 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.178038 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.190676 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.188707 sec)
simple-tests (coq-8.14.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.199764 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.829431 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.308694 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.176257 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/13 goals-after-error (0.192546 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/13 goals-after-proof (0.178174 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.179813 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.190093 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.202636 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.201052 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.248251 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.170982 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.181056 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/13 goals-after-proof (0.179663 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.171043 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.183974 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.180461 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.190203 sec)
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.601814 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.319947 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.190755 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.178557 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/13 goals-after-proof (0.191452 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/13 goals-reset-qed (0.177245 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.204141 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.205167 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.196918 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.814035 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.313490 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.180797 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.197368 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/13 goals-after-proof (0.186699 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.181424 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.194852 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.219353 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.203093 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.777281 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.319208 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.191431 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.180168 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/13 goals-after-proof (0.192871 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.179793 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.205624 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.210013 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.202333 sec)
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.811600 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.262952 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.181476 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.184428 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/13 goals-after-proof (0.183771 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.181897 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.196469 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.193227 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.202605 sec)
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.640533 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.18.0-emacs-29.3)
failed 1/13 goals-after-auto (0.363051 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 2/13 goals-after-comment (0.293887 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/13 goals-after-error (0.299935 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/13 goals-after-proof (0.295247 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/13 goals-reset-qed (0.295917 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.307542 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.305367 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.319166 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.828730 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.407258 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.286330 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.302903 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/13 goals-after-proof (0.286399 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/13 goals-reset-qed (0.291109 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.299576 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.316460 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.306392 sec)
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.932668 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.411209 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.300330 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.297962 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/13 goals-after-proof (0.304977 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/13 goals-reset-qed (0.289153 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.314812 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.314790 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.310611 sec)
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.962766 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.256790 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.176921 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.179632 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/13 goals-after-proof (0.179474 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.179332 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.200116 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.190486 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.199860 sec)
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.636710 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.257896 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.178090 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.180559 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/13 goals-after-proof (0.179730 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.180655 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.192888 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.191784 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.206339 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.644020 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.360729 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.298902 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.305736 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/13 goals-after-proof (0.292475 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/13 goals-reset-qed (0.293055 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.305595 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.305729 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.319563 sec)
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.812232 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-28.2)
failed 1/13 goals-after-auto (0.417353 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.306534 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.297470 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/13 goals-after-proof (0.306156 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/13 goals-reset-qed (0.294416 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.319349 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.326926 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.316733 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.971487 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.415592 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.296311 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.314136 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/13 goals-after-proof (0.308891 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/13 goals-reset-qed (0.297171 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.308813 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.323115 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.317831 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.946540 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.361170 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.294634 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.295624 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/13 goals-after-proof (0.296366 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/13 goals-reset-qed (0.295286 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.308279 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.306345 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.321187 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.820654 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.367836 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.297688 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.297692 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/13 goals-after-proof (0.296253 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/13 goals-reset-qed (0.300217 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.309935 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.308773 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.319123 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.811763 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.420221 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 2/13 goals-after-comment (0.303372 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/13 goals-after-error (0.314021 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/13 goals-after-proof (0.300809 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/13 goals-reset-qed (0.306114 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 11/13 goals-up-to-date-at-error (0.319019 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 12/13 goals-updated-after-check-many-steps (0.330727 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 13/13 goals-updated-after-search-many-steps (0.322509 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.003640 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/13 goals-after-auto (0.417213 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 2/13 goals-after-comment (0.306071 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/13 goals-after-error (0.316546 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 4/13 goals-after-proof (0.303416 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 8/13 goals-reset-qed (0.302726 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 11/13 goals-up-to-date-at-error (0.313482 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 12/13 goals-updated-after-check-many-steps (0.328452 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 13/13 goals-updated-after-search-many-steps (0.322711 sec)
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.937314 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/13 goals-after-auto (0.423522 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 2/13 goals-after-comment (0.314126 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/13 goals-after-error (0.310840 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 4/13 goals-after-proof (0.315266 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 8/13 goals-reset-qed (0.300741 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 11/13 goals-up-to-date-at-error (0.326316 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 12/13 goals-updated-after-check-many-steps (0.326757 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 13/13 goals-updated-after-search-many-steps (0.323779 sec)
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.999335 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/13 goals-after-auto (0.366684 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 2/13 goals-after-comment (0.300055 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/13 goals-after-error (0.305976 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 4/13 goals-after-proof (0.305097 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 8/13 goals-reset-qed (0.301614 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 11/13 goals-up-to-date-at-error (0.313880 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 12/13 goals-updated-after-check-many-steps (0.315161 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 13/13 goals-updated-after-search-many-steps (0.327593 sec)
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.824363 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/13 goals-after-auto (0.417502 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 2/13 goals-after-comment (0.312472 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/13 goals-after-error (0.299481 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/13 goals-after-proof (0.310432 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/13 goals-reset-qed (0.296952 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 11/13 goals-up-to-date-at-error (0.324151 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 12/13 goals-updated-after-check-many-steps (0.323167 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 13/13 goals-updated-after-search-many-steps (0.321543 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.989705 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/13 goals-after-auto (0.369718 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 2/13 goals-after-comment (0.301614 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/13 goals-after-error (0.300809 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 4/13 goals-after-proof (0.301659 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 8/13 goals-reset-qed (0.302307 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 11/13 goals-up-to-date-at-error (0.315919 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 12/13 goals-updated-after-check-many-steps (0.313787 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 13/13 goals-updated-after-search-many-steps (0.329885 sec)
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.826380 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/13 goals-after-auto (0.371360 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 2/13 goals-after-comment (0.299222 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/13 goals-after-error (0.303618 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/13 goals-after-proof (0.308334 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/13 goals-reset-qed (0.298906 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 11/13 goals-up-to-date-at-error (0.313766 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 12/13 goals-updated-after-check-many-steps (0.323189 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 13/13 goals-updated-after-search-many-steps (0.322339 sec)
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.823216 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/13 goals-after-auto (0.367454 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 2/13 goals-after-comment (0.301408 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/13 goals-after-error (0.306908 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/13 goals-after-proof (0.300933 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/13 goals-reset-qed (0.305233 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 11/13 goals-up-to-date-at-error (0.317375 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 12/13 goals-updated-after-check-many-steps (0.314277 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 13/13 goals-updated-after-search-many-steps (0.328779 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.825779 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
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 (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.2)
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.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 (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 (26.3)
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
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-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.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
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-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-indent (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.4)
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
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-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-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.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
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-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-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-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.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.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-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.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.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.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.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.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.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.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-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.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-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.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.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.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.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.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.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
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.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.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.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
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
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
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.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
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.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
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.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-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-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
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
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
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
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
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
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-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-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.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
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
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
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
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.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.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
test (coq-8.17.1-emacs-29.4)
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.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 (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 (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 (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 (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 (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 (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
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
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
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
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
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.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 (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
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.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.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.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-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.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-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
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
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
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.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-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.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.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-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.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-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
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
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
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
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.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-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
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.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
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