CI: update to Rocq 9.1+rc1 #833
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
511 errors and 111 warnings
|
test (coq-9.0.0-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.313860 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.285869 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.283043 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 2/13 020_coq-test-definition (0.287813 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 10/13 091_coq-test-regression-Fail (0.301222 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 9/13 090_coq-test-regression-Fail (0.296877 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.294518 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 2/13 020_coq-test-definition (0.302473 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.681356 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.680839 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.678591 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.689060 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.815138 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.816171 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.813475 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.819874 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.826494 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.825824 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.813848 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.825593 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.706711 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.693818 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.682173 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.684859 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.288843 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.287785 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.283690 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 2/13 020_coq-test-definition (0.288359 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.358066 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.311649 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.315456 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 2/13 020_coq-test-definition (0.361599 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.950171 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.960746 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.945926 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.945206 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.824116 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.834668 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.827773 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.814718 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.880855 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.900627 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.875128 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.873712 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.853277 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.851222 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.843750 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 2/13 020_coq-test-definition (0.851219 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.022437 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.983902 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.978809 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.983165 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 10/13 091_coq-test-regression-Fail (0.176716 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 9/13 090_coq-test-regression-Fail (0.173964 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.171859 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 2/13 020_coq-test-definition (0.177561 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.891591 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.905859 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.872821 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 2/13 020_coq-test-definition (0.883177 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.996911 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.984658 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.984156 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 2/13 020_coq-test-definition (0.994503 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.289153 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.288110 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.283997 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.288484 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.293931 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.295133 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.285307 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 2/13 020_coq-test-definition (0.294434 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (1.079699 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (1.081387 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.076617 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 2/13 020_coq-test-definition (1.074243 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.300766 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.300062 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.289649 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.295755 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (1.044482 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (1.061961 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.023186 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 2/13 020_coq-test-definition (1.024921 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.865610 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.891837 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.856581 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.169545 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.866908 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.194804 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.164738 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 2/13 020_coq-test-definition (0.192512 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.038622 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (1.002721 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.020377 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 2/13 020_coq-test-definition (1.002805 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.178473 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.173190 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.170770 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 2/13 020_coq-test-definition (0.175745 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.319552 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.288874 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.286309 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 2/13 020_coq-test-definition (0.289604 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.995902 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.997034 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.993496 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 2/13 020_coq-test-definition (0.993443 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.183680 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.181230 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.174147 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.182506 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.169709 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.189708 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.189667 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 2/13 020_coq-test-definition (0.188810 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.302901 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.328038 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.297058 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 2/13 020_coq-test-definition (0.330875 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.186886 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.186280 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.179462 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 2/13 020_coq-test-definition (0.185228 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.678047 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.676536 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.688245 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.676752 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.193606 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.167487 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.165018 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.167628 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.174251 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.175851 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.168497 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 2/13 020_coq-test-definition (0.173717 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.198127 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.169440 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.167820 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 2/13 020_coq-test-definition (0.170349 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (1.002315 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (1.023763 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.000357 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 2/13 020_coq-test-definition (0.989825 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.175643 sec) at coq-test-goals-present.el:726
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.177291 sec) at coq-test-goals-present.el:712
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (0.184006 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.174619 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.173772 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.175098 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.173026 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.173434 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.174105 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.647439 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.173065 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.168834 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (0.195967 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.192890 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.172264 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.190272 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.187205 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.171156 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.188074 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.811067 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.937531 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (4.223160 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.313321 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.309546 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.296786 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.307309 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.297906 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.319198 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.950447 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.171035 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.170704 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (0.199295 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.188438 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.173449 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.189368 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.191662 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.183269 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.189048 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.850731 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000133 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000167 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.639387 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.699952 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.698971 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.705311 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.702403 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.717640 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.712490 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.448363 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (1.014784 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (1.020617 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.015625 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 2/13 020_coq-test-definition (1.015363 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.517904 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.801727 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.808099 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.812994 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.806383 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.811194 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.805679 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.802088 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.577303 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.576744 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.858372 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.840685 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.842501 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.847896 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.837656 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.839346 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.840614 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.615153 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.813760 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (4.050119 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.304296 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.305039 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.303839 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.304445 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.304129 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.303021 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.821236 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.331776 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.654800 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.686463 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.699774 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.702626 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.681860 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.686071 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.677397 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.405228 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.779089 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (4.009812 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.300259 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.293026 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.292335 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.291478 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.290856 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.299910 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.785741 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.789828 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (4.015111 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.292739 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.292223 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.297686 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.294398 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.291945 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.292630 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.789010 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000173 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000223 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (4.048348 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.868705 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.878007 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.869190 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.875301 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.865782 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.878575 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.742362 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.028746 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (3.801609 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.312118 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.296967 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.312111 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.311914 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.299620 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.314970 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.021062 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.344647 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.681477 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.706365 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.699859 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.693197 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.690179 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.688027 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.686892 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.429076 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.755055 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (4.283138 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.951319 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.949274 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.960139 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.968333 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.950006 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.944992 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.735668 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.174330 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.191588 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (0.192491 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.184541 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.190670 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.176999 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.184450 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.171817 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.195407 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.778194 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.171920 sec) at coq-test-goals-present.el:726
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.171712 sec) at coq-test-goals-present.el:712
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (0.185088 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.173048 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.173471 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.174741 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.175357 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.173082 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.173114 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.644956 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (2.048550 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (5.145622 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (1.041828 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.062771 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (1.027780 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.040849 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (1.022798 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.043987 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (2.068767 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.833917 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (4.397490 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.000925 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.016708 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.008450 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.018786 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.008295 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.995911 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.834573 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.048841 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (3.922284 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.310076 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.303179 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.311984 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.311423 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.302788 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.318084 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.034321 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.834549 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.327034 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.311802 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.314202 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.311063 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.306981 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.317780 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.310373 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.912131 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.557476 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (1.836480 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.815532 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.818699 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.822475 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.820197 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.820602 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.814995 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.613758 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.172072 sec) at coq-test-goals-present.el:726
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.171904 sec) at coq-test-goals-present.el:712
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (0.184066 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.172018 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.171096 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.172208 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.176739 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.178669 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.177043 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.667103 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.192564 sec) at coq-test-goals-present.el:726
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.203243 sec) at coq-test-goals-present.el:712
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (0.200966 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.182941 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.185116 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.182628 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.185489 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.184643 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.189324 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.749033 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.906264 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (4.283549 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.299027 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.299790 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.286414 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.289998 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.287595 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.340479 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.929900 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.172214 sec) at coq-test-goals-present.el:726
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.178407 sec) at coq-test-goals-present.el:712
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (0.181131 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.171050 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.169959 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.172191 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.172249 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.169618 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.176868 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.642988 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (1.616384 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (4.077141 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.866145 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.870928 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.868947 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.881213 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.877593 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.873926 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (1.633890 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
FAILED 18/26 response-buffer-visible-coq-check-print-all-outside-poof (0.174720 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
FAILED 17/26 response-buffer-visible-coq-check-print-all-inside-poof (0.188967 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (0.204473 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.187791 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.185019 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.171253 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.184413 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.172741 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.186718 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.780195 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.790475 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (4.245379 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.996596 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.996194 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (1.004775 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.999613 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.995618 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.992406 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.792473 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.784345 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (4.002568 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.298769 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.296770 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.296228 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.296396 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.295101 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.296008 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.846403 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.776522 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (4.211440 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.006511 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.995593 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.995431 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.006003 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.991879 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.986839 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.787451 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000194 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000161 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (4.109856 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.879231 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.887813 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.872065 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.900854 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.877583 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.902242 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.797572 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-27.1)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.406476 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-27.1)
FAILED 1/2 cct-one-require-with-no-dependencies (0.441343 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.746981 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (4.541009 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.864641 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.886006 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.858999 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.873159 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.860337 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.875397 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.742298 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.886891 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (4.794950 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.997741 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.002053 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.982994 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.998867 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.990133 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.999707 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.913053 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-29.3)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.386881 sec) at runtest.el:41
|
|
compile-tests (coq-9.1-rc1-emacs-29.3)
FAILED 1/2 cct-one-require-with-no-dependencies (0.327925 sec) at runtest.el:33
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.840572 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (4.638283 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (1.030944 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (1.040084 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (1.029919 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (1.025950 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (1.035615 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (1.030843 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.855102 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-29.4)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.386077 sec) at runtest.el:41
|
|
compile-tests (coq-9.1-rc1-emacs-29.4)
FAILED 1/2 cct-one-require-with-no-dependencies (0.326009 sec) at runtest.el:33
|
|
compile-tests (coq-9.1-rc1-emacs-27.2)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.375383 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-27.2)
FAILED 1/2 cct-one-require-with-no-dependencies (0.375219 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.988846 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (4.488097 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.988287 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.993865 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.989736 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.001958 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.984962 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.000178 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.932973 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.890970 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (4.653722 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.998906 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.004459 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.994684 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.008816 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.990444 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.008883 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.951288 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-28.1)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.400233 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-28.1)
FAILED 1/2 cct-one-require-with-no-dependencies (0.429555 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-30.1)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.387014 sec) at runtest.el:41
|
|
compile-tests (coq-9.1-rc1-emacs-30.1)
FAILED 1/2 cct-one-require-with-no-dependencies (0.331706 sec) at runtest.el:33
|
|
compile-tests (coq-9.1-rc1-emacs-29.1)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.386298 sec) at runtest.el:41
|
|
compile-tests (coq-9.1-rc1-emacs-29.1)
FAILED 1/2 cct-one-require-with-no-dependencies (0.326198 sec) at runtest.el:33
|
|
compile-tests (coq-9.1-rc1-emacs-29.2)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.388561 sec) at runtest.el:41
|
|
compile-tests (coq-9.1-rc1-emacs-29.2)
FAILED 1/2 cct-one-require-with-no-dependencies (0.327885 sec) at runtest.el:33
|
|
compile-tests (coq-9.1-rc1-emacs-28.2)
FAILED 2/2 cct-two-requires-first-no-dependencies (0.380945 sec)
|
|
compile-tests (coq-9.1-rc1-emacs-28.2)
FAILED 1/2 cct-one-require-with-no-dependencies (0.368026 sec)
|
|
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-29.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-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-8.17.1-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.2)
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.19.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.17.1-emacs-29.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-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-29.3)
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-29.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-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-27.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
|
|
test (coq-9.0.0-emacs-28.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-9.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-27.1)
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.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.3)
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.19.2-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-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.1-rc1-emacs-28.1)
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
|
|
test (coq-8.20.1-emacs-29.3)
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-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-29.2)
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.4)
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.15.2-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-8.17.1-emacs-30.1)
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.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-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
|
|
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.18.0-emacs-30.1)
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-9.1-rc1-emacs-30.1)
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
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
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-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.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.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
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.2)
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
|
|
compile-tests (coq-9.1-rc1-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
|
|
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.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-27.2)
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-27.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-9.1-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-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-8.20.1-emacs-30.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
|
|
compile-tests (coq-9.0.0-emacs-29.3)
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.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.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-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-28.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-27.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-9.0.0-emacs-27.2)
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-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.17.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.20.1-emacs-27.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.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|