CI: update to Rocq 9.1+rc1 #835
hendriktewstest.yml
on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
484 errors and 111 warnings
|
test (coq-9.0.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.296378 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.294459 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.287824 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.295453 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.316611 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.291922 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.284060 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 2/13 020_coq-test-definition (0.288880 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.300660 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.288051 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.284327 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.286301 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.673255 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.675981 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.674899 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.677218 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.315797 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.285662 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.283439 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 2/13 020_coq-test-definition (0.283749 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.967894 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.970015 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.950447 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.955623 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (1.007010 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (1.001692 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.000419 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 2/13 020_coq-test-definition (0.993804 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.173890 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.169574 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.167535 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 2/13 020_coq-test-definition (0.172728 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.887130 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.908615 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.879850 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 2/13 020_coq-test-definition (0.878148 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.333742 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.293170 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.290531 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 2/13 020_coq-test-definition (0.290786 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.294931 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.289817 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.282341 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 2/13 020_coq-test-definition (0.290653 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.171561 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.195509 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.165713 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 2/13 020_coq-test-definition (0.192014 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.293702 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.288817 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.286023 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 2/13 020_coq-test-definition (0.291874 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.201257 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.175848 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.166925 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 2/13 020_coq-test-definition (0.171909 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.853791 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.881998 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.853779 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.850613 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.877236 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.859824 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.869867 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 2/13 020_coq-test-definition (0.867367 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.713952 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.700641 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.705502 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.702217 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.323432 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.296034 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.292127 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 2/13 020_coq-test-definition (0.295447 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.183347 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.180895 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.174069 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 2/13 020_coq-test-definition (0.181357 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.809110 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.800442 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.813576 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.798598 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 10/13 091_coq-test-regression-Fail (0.177199 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 9/13 090_coq-test-regression-Fail (0.176714 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.173528 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 2/13 020_coq-test-definition (0.184873 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.170338 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.192478 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.188165 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 2/13 020_coq-test-definition (0.191989 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.686991 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.688730 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.679538 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.682965 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 10/13 091_coq-test-regression-Fail (0.292500 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 9/13 090_coq-test-regression-Fail (0.289228 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.283265 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 2/13 020_coq-test-definition (0.289654 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (1.019992 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (1.014631 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.010716 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 2/13 020_coq-test-definition (1.006502 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.807584 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.806417 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.797012 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.800164 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (1.025404 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (1.053940 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.013245 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 2/13 020_coq-test-definition (0.993576 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (1.036677 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (1.047236 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.020618 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 2/13 020_coq-test-definition (1.019895 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.018248 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.995427 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.976419 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 2/13 020_coq-test-definition (0.980609 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (1.020673 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (1.000805 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.006002 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 2/13 020_coq-test-definition (0.994268 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.918895 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.878140 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.855816 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.859939 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.058747 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (1.094313 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.045608 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 2/13 020_coq-test-definition (1.051775 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.928091 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (65.185744 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.299420 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.299717 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.286235 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.287860 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.288233 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.298196 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.927803 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.985522 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.980790 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.976703 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 2/13 020_coq-test-definition (0.982616 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000147 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000173 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.658112 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.680152 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.676493 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.679547 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.686548 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.689258 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.680153 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.414945 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.550963 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.823019 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.821347 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.830995 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.824855 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.826940 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.825537 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.816828 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.615830 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.787406 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.250927 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.299834 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.292961 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.298979 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.297738 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.291706 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.294010 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.871840 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.372765 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.695843 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.706374 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.708169 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.701256 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.702882 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.696074 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.701088 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.435694 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.822580 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (55.987594 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.182147 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.172579 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.180539 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.182821 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.172615 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.182758 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.792377 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.972357 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (57.961348 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.307556 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.285039 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.315508 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.310425 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.288468 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.302300 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.947872 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.528883 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.854988 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.820301 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.814745 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.837655 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.815773 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.815134 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.812178 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.606011 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.830207 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (55.778194 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.185973 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.170665 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.184799 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.185215 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.170704 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.186533 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.809036 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.762902 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (67.791705 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.181662 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.183949 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.168024 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.183216 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.169706 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.181306 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.775704 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.629682 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.024153 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.174342 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.167472 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.168826 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.169376 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.169813 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.169691 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.687578 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.917190 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (65.137099 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.993061 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.007512 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.992985 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.002507 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.992083 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.003079 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.933132 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.817814 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (59.347621 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.011587 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.014075 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.025537 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.005785 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.002559 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.018075 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.828476 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.783191 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (66.086449 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.999083 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (1.010956 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (1.000816 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (1.005071 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.999679 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.998271 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.805179 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000178 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000185 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (64.099356 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.884068 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.888842 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.872673 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.898132 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.882576 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.891010 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.792320 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.773785 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (66.031638 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.295585 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.289011 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.293148 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.289066 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.291534 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.289684 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.788525 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.808272 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (58.312636 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.014795 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.011212 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.007500 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.006310 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.011839 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.009359 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.818377 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.789490 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (63.194879 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.292417 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.291607 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.292777 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.291950 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.292704 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.293195 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.804644 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.961046 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (61.257372 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.994143 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.008163 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.990186 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.004365 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.991194 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.002691 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.935719 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.778009 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (69.378737 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.183120 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.183911 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.168861 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.187299 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.174740 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.193338 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.803461 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.774430 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (58.166945 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.995345 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.993838 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.997311 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.993938 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.988561 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.990271 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.786415 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.798009 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (64.576723 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.294151 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.295081 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.291743 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.294053 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.291647 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.293540 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.797352 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.182664 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.180169 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.175156 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.177150 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.780143 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (66.263333 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.866510 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.877681 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.866395 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.883106 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.874213 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.876822 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.771594 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.643277 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (62.900783 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.172573 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.176470 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.178289 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.176656 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.177490 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.175234 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.646254 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.521785 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.827271 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.823370 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.820649 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.826010 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.816776 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.814753 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.816800 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.596738 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.830527 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.837362 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.826194 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.837217 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.173052 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.172430 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.167478 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 2/13 020_coq-test-definition (0.172678 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.323502 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.525245 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.677813 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.665473 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.674202 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.667335 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.665169 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.670738 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.398015 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.780687 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (65.791571 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.288810 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.298497 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.289021 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.293058 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.289707 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.290485 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.789721 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.740737 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (61.386074 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.961583 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.961743 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.952240 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.955451 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.951904 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.959211 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.745312 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.969781 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (57.535628 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.305164 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.292158 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.303968 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.306244 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.287644 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.307652 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.991611 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.193068 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.170529 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.164877 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.170822 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.631299 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (61.799767 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.171988 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.170625 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.175702 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.175535 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.172944 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.176093 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.648203 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.643369 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (62.554023 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.174357 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.172593 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.173552 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.173023 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.173119 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.173999 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.650074 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.629020 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (64.120269 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.171580 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.172485 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.172407 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.171823 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.172538 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.175323 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.640405 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.922035 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (65.691611 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.302678 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.298977 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.286832 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.291099 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.287942 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.304272 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.928830 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000180 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000201 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (65.514026 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.877153 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.894777 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.881741 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.886567 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.871601 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.892101 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.772305 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.895223 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (63.275322 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.990111 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.009204 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.988827 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.005907 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.986977 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.002145 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.936585 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (1.613133 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (61.437062 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.862196 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.857753 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.867022 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.862892 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.858755 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.863465 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (1.603717 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.961840 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (70.342207 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.996451 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.011393 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.998113 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.016796 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.990677 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.002924 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.946795 sec)
|
|
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.0.0-emacs-27.2)
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-9.0.0-emacs-29.1)
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.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.4)
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
|
|
compile-tests (coq-9.0.0-emacs-28.1)
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-8.19.2-emacs-30.1)
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.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.3)
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-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.17.1-emacs-29.1)
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.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.4)
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-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-29.4)
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
|
|
test (coq-9.0.0-emacs-29.3)
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-9.0.0-emacs-30.1)
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-9.0.0-emacs-27.2)
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
|
|
test (coq-8.18.0-emacs-29.3)
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
|
|
test (coq-8.19.2-emacs-29.3)
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-8.15.2-emacs-28.1)
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
|
|
test (coq-9.0.0-emacs-29.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
|
|
compile-tests (coq-8.19.2-emacs-29.3)
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
|
|
test (coq-9.1-rc1-emacs-28.1)
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
|
|
compile-tests (coq-8.15.2-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
|
|
test (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
|
|
compile-tests (coq-8.16.1-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
|
|
compile-tests (coq-8.20.1-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-29.3)
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
|
|
compile-tests (coq-8.19.2-emacs-27.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-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.2)
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
|
|
test (coq-8.18.0-emacs-30.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-28.2)
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-29.4)
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-27.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
|
|
simple-tests (coq-9.0.0-emacs-27.1)
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
|
|
simple-tests (coq-8.15.2-emacs-30.1)
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.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-30.1)
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.2)
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
|
|
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)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.15.2-emacs-28.1)
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-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-28.2)
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-8.20.1-emacs-29.4)
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
|
|
test (coq-9.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (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-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-8.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (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-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
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-29.4)
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-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.17.1-emacs-29.1)
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
|
|
compile-tests (coq-8.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|