CI: add new test for extending/retracting with huge goals #829
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 112 warnings
|
test (coq-8.19.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.800679 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.800938 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.793614 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.796945 sec)
|
|
test (coq-8.11.2-emacs-26.3)
failed 10/13 091_coq-test-regression-Fail
|
|
test (coq-8.11.2-emacs-26.3)
failed 9/13 090_coq-test-regression-Fail
|
|
test (coq-8.11.2-emacs-26.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise
|
|
test (coq-8.11.2-emacs-26.3)
failed 2/13 020_coq-test-definition
|
|
test (coq-8.12.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.621727 sec)
|
|
test (coq-8.12.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.620867 sec)
|
|
test (coq-8.12.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.623275 sec)
|
|
test (coq-8.12.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.625390 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.678919 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.676528 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.667738 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.673867 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.942111 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.936667 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.925403 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.935277 sec)
|
|
test (coq-8.14.1-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.886110 sec)
|
|
test (coq-8.14.1-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.857904 sec)
|
|
test (coq-8.14.1-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.879570 sec)
|
|
test (coq-8.14.1-emacs-27.2)
failed 2/13 020_coq-test-definition (0.851324 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.814248 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.816953 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.808855 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.809500 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.864878 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.865947 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.857563 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.856653 sec)
|
|
test (coq-8.11.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.587361 sec)
|
|
test (coq-8.11.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.588635 sec)
|
|
test (coq-8.11.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.585579 sec)
|
|
test (coq-8.11.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.587903 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.800968 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.804484 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.798582 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.809433 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.982918 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.977954 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.973931 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 2/13 020_coq-test-definition (0.975302 sec)
|
|
test (coq-8.19.2-emacs-26.3)
failed 10/13 091_coq-test-regression-Fail
|
|
test (coq-8.19.2-emacs-26.3)
failed 9/13 090_coq-test-regression-Fail
|
|
test (coq-8.19.2-emacs-26.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise
|
|
test (coq-8.19.2-emacs-26.3)
failed 2/13 020_coq-test-definition
|
|
test (coq-8.15.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.678576 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.676252 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.671648 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.681302 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.908297 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.892268 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.885573 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.878206 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.970038 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (1.002867 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.973663 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.975386 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.704771 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.682670 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.690752 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.687004 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.286458 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.282689 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.282513 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 2/13 020_coq-test-definition (0.287742 sec)
|
|
test (coq-9.0.0-emacs-26.3)
failed 10/13 091_coq-test-regression-Fail
|
|
test (coq-9.0.0-emacs-26.3)
failed 9/13 090_coq-test-regression-Fail
|
|
test (coq-9.0.0-emacs-26.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise
|
|
test (coq-9.0.0-emacs-26.3)
failed 2/13 020_coq-test-definition
|
|
test (coq-8.15.2-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.858146 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.886257 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.844460 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 2/13 020_coq-test-definition (0.854197 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.326314 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.290893 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.288674 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 2/13 020_coq-test-definition (0.296666 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 10/13 091_coq-test-regression-Fail (0.290597 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 9/13 090_coq-test-regression-Fail (0.290149 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.283067 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 2/13 020_coq-test-definition (0.288672 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.292691 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.294056 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.287306 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.290090 sec)
|
|
test (coq-8.13.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.598797 sec)
|
|
test (coq-8.13.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.594780 sec)
|
|
test (coq-8.13.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.590879 sec)
|
|
test (coq-8.13.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.602253 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.288601 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.284680 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.279147 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 2/13 020_coq-test-definition (0.289073 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.308236 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.280806 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.303585 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 2/13 020_coq-test-definition (0.302179 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.014232 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.984800 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.980359 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 2/13 020_coq-test-definition (0.987410 sec)
|
|
test (coq-8.13.2-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.693443 sec)
|
|
test (coq-8.13.2-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.656967 sec)
|
|
test (coq-8.13.2-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.653893 sec)
|
|
test (coq-8.13.2-emacs-27.2)
failed 2/13 020_coq-test-definition (0.652177 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.983519 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.981456 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.970793 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 2/13 020_coq-test-definition (0.979169 sec)
|
|
test (coq-8.14.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.682600 sec)
|
|
test (coq-8.14.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.675776 sec)
|
|
test (coq-8.14.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.675879 sec)
|
|
test (coq-8.14.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.678076 sec)
|
|
test (coq-8.12.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.817844 sec)
|
|
test (coq-8.12.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.843383 sec)
|
|
test (coq-8.12.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.836652 sec)
|
|
test (coq-8.12.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.839447 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.870430 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.856218 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.851614 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 2/13 020_coq-test-definition (0.858199 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (1.020458 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (1.025296 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.992109 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 2/13 020_coq-test-definition (0.994850 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.984131 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (1.001091 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.980556 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.976550 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.973373 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.968067 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.969608 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 2/13 020_coq-test-definition (0.972441 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.314994 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.284639 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.280003 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 2/13 020_coq-test-definition (0.284012 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.320951 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.293401 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.287810 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 2/13 020_coq-test-definition (0.287785 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.284541 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.288639 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.281841 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.288741 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.328889 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.636405 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.670310 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.676172 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.669316 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.669383 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.671237 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.668375 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.400874 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.216841 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.497670 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.593934 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.596488 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.591385 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.592810 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.594642 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.593230 sec)
|
|
simple-tests (coq-8.12.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.291614 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.215702 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.465746 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.595243 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.588678 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.594171 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.591410 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.590194 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.588126 sec)
|
|
simple-tests (coq-8.11.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.288849 sec)
|
|
test (coq-8.20.1-emacs-26.3)
failed 10/13 091_coq-test-regression-Fail
|
|
test (coq-8.20.1-emacs-26.3)
failed 9/13 090_coq-test-regression-Fail
|
|
test (coq-8.20.1-emacs-26.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise
|
|
test (coq-8.20.1-emacs-26.3)
failed 2/13 020_coq-test-definition
|
|
simple-tests (coq-8.18.0-emacs-29.3)
FAILED 4/26 goals-after-auto (3.189809 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (0.995566 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.936550 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.937820 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.936119 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.929163 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.931373 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.926134 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.723171 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.232234 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.539137 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.597136 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.597521 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.593519 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.595306 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.593851 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.591534 sec)
|
|
simple-tests (coq-8.13.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.298543 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.510522 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.800599 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.799403 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.803607 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.801689 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.809453 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.806062 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.805100 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.568200 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000150 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000129 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.610673 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.688653 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.677521 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.685834 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.688753 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.673941 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.675407 sec)
|
|
simple-tests (coq-8.14.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.397559 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
FAILED 4/26 goals-after-auto (3.589537 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (0.359248 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.294257 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.290667 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.287173 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.289688 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.290745 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.289556 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.784685 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
FAILED 4/26 goals-after-auto (3.316444 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (0.938713 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.661802 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.832499 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.841980 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.824461 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.834138 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.817783 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.829652 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.649683 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
FAILED 4/26 goals-after-auto (3.334339 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (0.922976 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.854838 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.848681 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.857001 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.853414 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.860639 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.856711 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (1.609363 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.541049 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.815659 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.815198 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.814861 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.822413 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.813837 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.812144 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.814848 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.598726 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
FAILED 4/26 goals-after-auto (3.671905 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (1.069940 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.009400 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.004188 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (1.001432 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.003111 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.989943 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.005868 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (2.005768 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
FAILED 4/26 goals-after-auto (3.641489 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (0.354836 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.285899 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.286096 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.287966 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.285090 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.291857 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.284247 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.787788 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.771227 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.264710 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.287534 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.287194 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.285638 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.288047 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.284518 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.285371 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.844467 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
FAILED 4/26 goals-after-auto (3.529740 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (0.368542 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.308498 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.283970 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.298786 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.295979 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.283466 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.297564 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.936593 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
FAILED 4/26 goals-after-auto (3.677743 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (0.367345 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.305904 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.310769 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.291472 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.293481 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.289742 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.307976 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.923874 sec)
|
|
simple-tests (coq-9.0.0-emacs-26.3)
FAILED 4/26 goals-after-auto
|
|
simple-tests (coq-9.0.0-emacs-26.3)
failed 3/26 extend-queue-during-long-running-show
|
|
simple-tests (coq-9.0.0-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-9.0.0-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-9.0.0-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-9.0.0-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-9.0.0-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-9.0.0-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-9.0.0-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000218 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
FAILED 4/26 goals-after-auto (3.215434 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (0.935937 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.871430 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.878029 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.869963 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.875341 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.865165 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.879075 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.777470 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
FAILED 4/26 goals-after-auto (3.804387 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (0.933794 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.858401 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.868715 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.856639 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.866139 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.859254 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.866524 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.740312 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000191 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
FAILED 4/26 goals-after-auto (3.113645 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (0.972968 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.905086 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.908480 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.892826 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.911075 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.889401 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.902924 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.833680 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
FAILED 4/26 goals-after-auto (3.930266 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (1.095954 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.999520 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.011939 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.996114 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.008133 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.998759 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.001693 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.986481 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000163 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000154 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.617078 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.686241 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.686262 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.686459 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.690912 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.688855 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.680439 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.412384 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
FAILED 4/26 goals-after-auto (3.472254 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (0.382581 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.310133 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.289530 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.311147 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.306029 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.288400 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.305479 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.949558 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
FAILED 4/26 goals-after-auto (3.290018 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (1.053360 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.984131 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.986899 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.992902 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.987282 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.987036 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.983120 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.794005 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
FAILED 4/26 goals-after-auto
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 3/26 extend-queue-during-long-running-show
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-9.0.0-emacs-29.4)
FAILED 4/26 goals-after-auto (3.663484 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (0.360357 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.287612 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.289431 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.288872 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.288492 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.287837 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.288185 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.792038 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.503138 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.795352 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.793589 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.798238 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.804908 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.786520 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.792811 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.792294 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.564709 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
FAILED 4/26 goals-after-auto (3.623647 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (0.355780 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.285136 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.285471 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.283660 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.282188 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.284649 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.284140 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.777114 sec)
|
|
simple-tests (coq-8.19.2-emacs-26.3)
FAILED 4/26 goals-after-auto
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 3/26 extend-queue-during-long-running-show
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.14.1-emacs-27.2)
FAILED 4/26 goals-after-auto (3.324052 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (0.949819 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (1.804217 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.895807 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.896296 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.872325 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.885660 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.866649 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.876820 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (1.723913 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.332057 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.621666 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.665255 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.667401 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.673162 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.665930 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.666032 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.665764 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.383181 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
FAILED 4/26 goals-after-auto (3.612322 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (1.035407 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.973781 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.981064 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (1.018690 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.977636 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.983496 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.984695 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.756843 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
FAILED 4/26 goals-after-auto (3.572326 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (1.062016 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.993768 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.002472 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.985021 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.004169 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.997309 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.001862 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.938469 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
FAILED 4/26 goals-after-auto (3.275342 sec) at coq-test-goals-present.el:336
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (1.073423 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.020719 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.021011 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.011404 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.014462 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.010322 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.006424 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.809789 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
FAILED 4/26 goals-after-auto (3.284116 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (0.719559 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (1.423957 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.640670 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.657731 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.648194 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.655833 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.641652 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.653389 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/8 comment-definition-process-undo (1.419759 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
FAILED 4/26 goals-after-auto
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 3/26 extend-queue-during-long-running-show
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
test (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.2-emacs-30.1)
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.14.1-emacs-27.2)
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-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.2-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.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-26.3)
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-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
|
|
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-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-26.3)
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-28.2)
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-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.13.2-emacs-30.1)
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.0.0-emacs-27.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.13.2-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-8.14.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-29.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
|
|
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.0.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-26.3)
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-8.11.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.20.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.12.2-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-8.14.1-emacs-30.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.14.1-emacs-27.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
|
|
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.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.11.2-emacs-26.3)
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.15.2-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-8.12.2-emacs-27.1)
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.0.0-emacs-30.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-8.20.1-emacs-29.3)
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.13.2-emacs-30.1)
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
|
|
compile-tests (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.12.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.2-emacs-30.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
|
|
test (coq-8.20.1-emacs-26.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
|
|
compile-tests (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.13.2-emacs-30.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
|
|
simple-tests (coq-8.14.1-emacs-30.1)
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.12.2-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.20.1-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-9.0.0-emacs-29.2)
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
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-27.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-9.0.0-emacs-28.2)
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-26.3)
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.16.1-emacs-28.2)
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.19.2-emacs-28.2)
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-9.0.0-emacs-28.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.11.2-emacs-26.3)
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-8.19.2-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.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-30.1)
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.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.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
|
|
simple-tests (coq-8.13.2-emacs-27.2)
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.0.0-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
|
|
simple-tests (coq-8.20.1-emacs-26.3)
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.0.0-emacs-28.2)
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-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|