Fix #848 (indentation of now tac). #849
Matafoutest.yml
on: push
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
327 errors and 88 warnings
|
check-doc-magic (29.4)
Process completed with exit code 1.
|
|
check-doc-magic (30.1)
Process completed with exit code 1.
|
|
test (coq-8.15.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.685063 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.678917 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.675893 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.683280 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.279474 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.284865 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.278190 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 2/13 020_coq-test-definition (0.280582 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 10/13 091_coq-test-regression-Fail (0.297809 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 9/13 090_coq-test-regression-Fail (0.292539 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.296522 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 2/13 020_coq-test-definition (0.297340 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.621744 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.624291 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.616315 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.613773 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.332055 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.299124 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.325084 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 2/13 020_coq-test-definition (0.322270 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.292705 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.292913 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.286920 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 2/13 020_coq-test-definition (0.292898 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.691035 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.689613 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.682466 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.691534 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.951370 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.957420 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.952131 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.963774 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.830762 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.825898 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.817456 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.817259 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.174394 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.169213 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.166404 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 2/13 020_coq-test-definition (0.176655 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.299408 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.304655 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.294792 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.301155 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.003686 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (1.016206 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.996579 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.997958 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.992913 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.988697 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.987592 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 2/13 020_coq-test-definition (0.995134 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.871337 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.892454 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.864460 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.858067 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.890434 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.921324 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.875246 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 2/13 020_coq-test-definition (0.916644 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.846755 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.841631 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.844524 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 2/13 020_coq-test-definition (0.844892 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.878767 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.897051 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.866481 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.873815 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (1.000573 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (1.009876 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.995424 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 2/13 020_coq-test-definition (0.994210 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.701863 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.706593 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.704137 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.706873 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.816648 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.818304 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.807032 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.812465 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.012571 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (1.026689 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.996993 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 2/13 020_coq-test-definition (1.005467 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (1.006886 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (1.033739 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.997085 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 2/13 020_coq-test-definition (0.999858 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.993945 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.987832 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.992500 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 2/13 020_coq-test-definition (0.998622 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.999656 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.995993 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.991666 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 2/13 020_coq-test-definition (0.983861 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.298417 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.292237 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.296152 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 2/13 020_coq-test-definition (0.290978 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.312111 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.303337 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.303477 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 2/13 020_coq-test-definition (0.303197 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.171040 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.194946 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.163527 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 2/13 020_coq-test-definition (0.166960 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.206246 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.176754 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.171858 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 2/13 020_coq-test-definition (0.173176 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.170937 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.170686 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.165436 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.171380 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 10/13 091_coq-test-regression-Fail (0.155723 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 9/13 090_coq-test-regression-Fail (0.154966 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.149664 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 2/13 020_coq-test-definition (0.153742 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.179332 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.173808 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.168729 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 2/13 020_coq-test-definition (0.177203 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.290438 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.288036 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.284783 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.289181 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.196019 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.169955 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.168020 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 2/13 020_coq-test-definition (0.171309 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.202220 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.176319 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.173955 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.174823 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.318269 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.311619 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.287435 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 2/13 020_coq-test-definition (0.291250 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.177348 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.171361 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.170974 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 2/13 020_coq-test-definition (0.175743 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.804960 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.074613 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.292097 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.293285 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.293674 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.291411 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.297166 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.293203 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.847328 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.994871 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (1.016299 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.988263 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.991235 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.540597 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.662550 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.820442 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.819271 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.829520 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.823803 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.818680 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.816479 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.604174 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.626129 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.180509 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.169200 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.170418 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.170513 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.172446 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.175595 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.172833 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.697990 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.15.2-emacs-27.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.17.1-emacs-30.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.19.2-emacs-30.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.15.2-emacs-30.1)
The run was canceled by @Matafou.
|
|
compile-tests (coq-9.0.0-emacs-29.3)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.19.2-emacs-27.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.19.2-emacs-29.4)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.18.0-emacs-30.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.0.0-emacs-27.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.0.0-emacs-28.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.0.0-emacs-28.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.0.0-emacs-29.3)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.0.0-emacs-29.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
The run was canceled by @Matafou.
|
|
compile-tests (coq-8.20.1-emacs-27.1)
The run was canceled by @Matafou.
|
|
compile-tests (coq-8.20.1-emacs-27.1)
The operation was canceled.
|
|
simple-tests (coq-8.19.2-emacs-29.3)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.19.2-emacs-29.3)
The operation was canceled.
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (60.812746 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.989769 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.998973 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.000714 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.992439 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.994869 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.990135 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.792280 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.16.1-emacs-28.2)
The operation was canceled.
|
|
simple-tests (coq-8.15.2-emacs-28.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.15.2-emacs-28.1)
The operation was canceled.
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.940469 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.944961 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
The operation was canceled.
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.923603 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.929805 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.925523 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.933499 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.944439 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.18.0-emacs-29.3)
The operation was canceled.
|
|
simple-tests (coq-8.20.1-emacs-29.3)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.20.1-emacs-29.3)
The operation was canceled.
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (58.218393 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.020990 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.012795 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.011169 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
The operation was canceled.
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.006467 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (1.041400 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.019577 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.994950 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.015627 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.997424 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.815859 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.993432 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (1.000767 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.993823 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.802734 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.19.2-emacs-28.2)
The operation was canceled.
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (65.140226 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.815301 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.814068 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.803582 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.817352 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.797698 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.813019 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.635978 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
The operation was canceled.
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (52.358321 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.177385 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.162649 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.185691 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.179200 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.161361 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.176598 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.788741 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.20.1-emacs-27.1)
The operation was canceled.
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.0.0-emacs-27.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
The operation was canceled.
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.187618 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.183233 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
The operation was canceled.
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.171039 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.177240 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (56.352856 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.170772 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.236799 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.187283 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.805241 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.237816 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.225518 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.236791 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.224174 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.232223 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.846906 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
The operation was canceled.
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
The operation was canceled.
|
|
simple-tests (coq-8.20.1-emacs-28.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-8.20.1-emacs-28.2)
The operation was canceled.
|
|
simple-tests (coq-9.0.0-emacs-29.4)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.0.0-emacs-29.4)
The operation was canceled.
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (64.806902 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.293328 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.293153 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.291565 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.293037 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.292495 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.289542 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.794441 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.0.0-emacs-29.2)
The operation was canceled.
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (76.663551 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.297890 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.292825 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.291793 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.303195 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.293243 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.291992 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.795636 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
The operation was canceled.
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (65.229983 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.170418 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.168982 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.170283 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.170336 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.169530 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.168919 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.638075 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
The run was canceled by @Matafou.
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
The operation was canceled.
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (66.030601 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.192248 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.189351 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.175076 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.181427 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.174328 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.187229 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.789221 sec)
|
|
|
|
test (coq-8.15.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (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-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.20.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|