Rocq: enable messages for Rocq >= 9.2 #304
hendriktewstest.yml
on: push
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
455 errors and 111 warnings
|
check-doc-magic (30.1)
Process completed with exit code 2.
|
|
check-doc-magic (29.4)
Process completed with exit code 2.
|
|
test (coq-9.0.0-emacs-29.4)
FAILED 10/14 091_coq-test-regression-Fail (0.305830 sec) at ci/coq-tests.el:425
|
|
test (coq-9.0.0-emacs-29.4)
FAILED 9/14 090_coq-test-regression-Fail (0.297681 sec) at ci/coq-tests.el:400
|
|
test (coq-9.0.0-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.293298 sec)
|
|
test (coq-9.0.0-emacs-29.4)
FAILED 2/14 020_coq-test-definition (0.298777 sec) at ci/coq-tests.el:203
|
|
test (coq-9.0.0-emacs-29.3)
FAILED 10/14 091_coq-test-regression-Fail (0.304050 sec) at ci/coq-tests.el:425
|
|
test (coq-9.0.0-emacs-29.3)
FAILED 9/14 090_coq-test-regression-Fail (0.305691 sec) at ci/coq-tests.el:400
|
|
test (coq-9.0.0-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.294845 sec)
|
|
test (coq-9.0.0-emacs-29.3)
FAILED 2/14 020_coq-test-definition (0.305576 sec) at ci/coq-tests.el:203
|
|
test (coq-9.0.0-emacs-28.1)
FAILED 10/14 091_coq-test-regression-Fail (0.322516 sec)
|
|
test (coq-9.0.0-emacs-28.1)
FAILED 9/14 090_coq-test-regression-Fail (0.292906 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.289759 sec)
|
|
test (coq-9.0.0-emacs-28.1)
FAILED 2/14 020_coq-test-definition (0.289190 sec)
|
|
test (coq-9.0.0-emacs-27.2)
FAILED 10/14 091_coq-test-regression-Fail (0.319026 sec)
|
|
test (coq-9.0.0-emacs-27.2)
FAILED 9/14 090_coq-test-regression-Fail (0.292503 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.291218 sec)
|
|
test (coq-9.0.0-emacs-27.2)
FAILED 2/14 020_coq-test-definition (0.319187 sec)
|
|
test (coq-8.20.1-emacs-30.1)
FAILED 10/14 091_coq-test-regression-Fail (0.841620 sec) at ci/coq-tests.el:425
|
|
test (coq-8.20.1-emacs-30.1)
FAILED 9/14 090_coq-test-regression-Fail (0.843590 sec) at ci/coq-tests.el:400
|
|
test (coq-8.20.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.837164 sec)
|
|
test (coq-8.20.1-emacs-30.1)
FAILED 2/14 020_coq-test-definition (0.843884 sec) at ci/coq-tests.el:203
|
|
test (coq-9.0.0-emacs-29.2)
FAILED 10/14 091_coq-test-regression-Fail (0.307687 sec) at ci/coq-tests.el:425
|
|
test (coq-9.0.0-emacs-29.2)
FAILED 9/14 090_coq-test-regression-Fail (0.297927 sec) at ci/coq-tests.el:400
|
|
test (coq-9.0.0-emacs-29.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.289285 sec)
|
|
test (coq-9.0.0-emacs-29.2)
FAILED 2/14 020_coq-test-definition (0.292560 sec) at ci/coq-tests.el:203
|
|
test (coq-8.16.1-emacs-30.1)
FAILED 10/14 091_coq-test-regression-Fail (0.684060 sec) at ci/coq-tests.el:425
|
|
test (coq-8.16.1-emacs-30.1)
FAILED 9/14 090_coq-test-regression-Fail (0.684168 sec) at ci/coq-tests.el:400
|
|
test (coq-8.16.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.677188 sec)
|
|
test (coq-8.16.1-emacs-30.1)
FAILED 2/14 020_coq-test-definition (0.676988 sec) at ci/coq-tests.el:203
|
|
test (coq-8.18.0-emacs-30.1)
FAILED 10/14 091_coq-test-regression-Fail (0.848669 sec) at ci/coq-tests.el:425
|
|
test (coq-8.18.0-emacs-30.1)
FAILED 9/14 090_coq-test-regression-Fail (0.821212 sec) at ci/coq-tests.el:400
|
|
test (coq-8.18.0-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.835032 sec)
|
|
test (coq-8.18.0-emacs-30.1)
FAILED 2/14 020_coq-test-definition (0.829987 sec) at ci/coq-tests.el:203
|
|
test (coq-8.18.0-emacs-29.3)
FAILED 10/14 091_coq-test-regression-Fail (1.001852 sec) at ci/coq-tests.el:425
|
|
test (coq-8.18.0-emacs-29.3)
FAILED 9/14 090_coq-test-regression-Fail (1.001249 sec) at ci/coq-tests.el:400
|
|
test (coq-8.18.0-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.004971 sec)
|
|
test (coq-8.18.0-emacs-29.3)
FAILED 2/14 020_coq-test-definition (1.007404 sec) at ci/coq-tests.el:203
|
|
simple-tests (coq-8.17.1-emacs-29.1)
FAILED 1/1 coqtop-unavailable (0.761791 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.860019 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.865671 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.867509 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.852174 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.861302 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.865845 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (1.600993 sec)
|
|
test (coq-9.0.0-emacs-30.1)
FAILED 10/14 091_coq-test-regression-Fail (0.292179 sec) at ci/coq-tests.el:425
|
|
test (coq-9.0.0-emacs-30.1)
FAILED 9/14 090_coq-test-regression-Fail (0.291179 sec) at ci/coq-tests.el:400
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.289418 sec)
|
|
test (coq-9.0.0-emacs-30.1)
FAILED 2/14 020_coq-test-definition (0.290955 sec) at ci/coq-tests.el:203
|
|
test (coq-8.19.2-emacs-29.3)
FAILED 10/14 091_coq-test-regression-Fail (1.040208 sec) at ci/coq-tests.el:425
|
|
test (coq-8.19.2-emacs-29.3)
FAILED 9/14 090_coq-test-regression-Fail (1.012207 sec) at ci/coq-tests.el:400
|
|
test (coq-8.19.2-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.978409 sec)
|
|
test (coq-8.19.2-emacs-29.3)
FAILED 2/14 020_coq-test-definition (0.984850 sec) at ci/coq-tests.el:203
|
|
test (coq-8.15.2-emacs-28.1)
FAILED 10/14 091_coq-test-regression-Fail (0.905160 sec)
|
|
test (coq-8.15.2-emacs-28.1)
FAILED 9/14 090_coq-test-regression-Fail (0.902142 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.884242 sec)
|
|
test (coq-8.15.2-emacs-28.1)
FAILED 2/14 020_coq-test-definition (0.886962 sec)
|
|
test (coq-8.19.2-emacs-27.1)
FAILED 10/14 091_coq-test-regression-Fail (0.994524 sec)
|
|
test (coq-8.19.2-emacs-27.1)
FAILED 9/14 090_coq-test-regression-Fail (1.024893 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.988826 sec)
|
|
test (coq-8.19.2-emacs-27.1)
FAILED 2/14 020_coq-test-definition (0.997175 sec)
|
|
test (coq-8.15.2-emacs-27.1)
FAILED 10/14 091_coq-test-regression-Fail (0.870331 sec)
|
|
test (coq-8.15.2-emacs-27.1)
FAILED 9/14 090_coq-test-regression-Fail (0.822547 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.837573 sec)
|
|
test (coq-8.15.2-emacs-27.1)
FAILED 2/14 020_coq-test-definition (0.831753 sec)
|
|
test (coq-8.17.1-emacs-29.1)
FAILED 10/14 091_coq-test-regression-Fail (0.875351 sec) at ci/coq-tests.el:425
|
|
test (coq-8.17.1-emacs-29.1)
FAILED 9/14 090_coq-test-regression-Fail (0.880801 sec) at ci/coq-tests.el:400
|
|
test (coq-8.17.1-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.882440 sec)
|
|
test (coq-8.17.1-emacs-29.1)
FAILED 2/14 020_coq-test-definition (0.856849 sec) at ci/coq-tests.el:203
|
|
test (coq-8.15.2-emacs-30.1)
FAILED 10/14 091_coq-test-regression-Fail (0.695881 sec) at ci/coq-tests.el:425
|
|
test (coq-8.15.2-emacs-30.1)
FAILED 9/14 090_coq-test-regression-Fail (0.685166 sec) at ci/coq-tests.el:400
|
|
test (coq-8.15.2-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.682230 sec)
|
|
test (coq-8.15.2-emacs-30.1)
FAILED 2/14 020_coq-test-definition (0.687771 sec) at ci/coq-tests.el:203
|
|
test (coq-9.0.0-emacs-27.1)
FAILED 10/14 091_coq-test-regression-Fail (0.314118 sec)
|
|
test (coq-9.0.0-emacs-27.1)
FAILED 9/14 090_coq-test-regression-Fail (0.292135 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.285553 sec)
|
|
test (coq-9.0.0-emacs-27.1)
FAILED 2/14 020_coq-test-definition (0.310891 sec)
|
|
test (coq-8.19.2-emacs-29.4)
FAILED 10/14 091_coq-test-regression-Fail (0.992578 sec) at ci/coq-tests.el:425
|
|
test (coq-8.19.2-emacs-29.4)
FAILED 9/14 090_coq-test-regression-Fail (0.983226 sec) at ci/coq-tests.el:400
|
|
test (coq-8.19.2-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.984556 sec)
|
|
test (coq-8.19.2-emacs-29.4)
FAILED 2/14 020_coq-test-definition (0.979369 sec) at ci/coq-tests.el:203
|
|
test (coq-8.19.2-emacs-30.1)
FAILED 10/14 091_coq-test-regression-Fail (0.825549 sec) at ci/coq-tests.el:425
|
|
test (coq-8.19.2-emacs-30.1)
FAILED 9/14 090_coq-test-regression-Fail (0.828953 sec) at ci/coq-tests.el:400
|
|
test (coq-8.19.2-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.853863 sec)
|
|
test (coq-8.19.2-emacs-30.1)
FAILED 2/14 020_coq-test-definition (0.824064 sec) at ci/coq-tests.el:203
|
|
test (coq-8.20.1-emacs-27.1)
FAILED 10/14 091_coq-test-regression-Fail (1.008611 sec)
|
|
test (coq-8.20.1-emacs-27.1)
FAILED 9/14 090_coq-test-regression-Fail (1.005891 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.970253 sec)
|
|
test (coq-8.20.1-emacs-27.1)
FAILED 2/14 020_coq-test-definition (0.979882 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
FAILED 10/14 091_coq-test-regression-Fail (0.159431 sec) at ci/coq-tests.el:425
|
|
test (coq-9.1-rc1-emacs-29.2)
FAILED 9/14 090_coq-test-regression-Fail (0.161706 sec) at ci/coq-tests.el:400
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.154563 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
FAILED 2/14 020_coq-test-definition (0.164102 sec) at ci/coq-tests.el:203
|
|
test (coq-9.1-rc1-emacs-29.4)
FAILED 10/14 091_coq-test-regression-Fail (0.181850 sec) at ci/coq-tests.el:425
|
|
test (coq-9.1-rc1-emacs-29.4)
FAILED 9/14 090_coq-test-regression-Fail (0.179004 sec) at ci/coq-tests.el:400
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.173567 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
FAILED 2/14 020_coq-test-definition (0.180019 sec) at ci/coq-tests.el:203
|
|
test (coq-8.16.1-emacs-28.2)
FAILED 10/14 091_coq-test-regression-Fail (0.869099 sec)
|
|
test (coq-8.16.1-emacs-28.2)
FAILED 9/14 090_coq-test-regression-Fail (0.903037 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.866684 sec)
|
|
test (coq-8.16.1-emacs-28.2)
FAILED 2/14 020_coq-test-definition (0.880721 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
FAILED 10/14 091_coq-test-regression-Fail (0.209372 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
FAILED 9/14 090_coq-test-regression-Fail (0.169961 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.165553 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
FAILED 2/14 020_coq-test-definition (0.194172 sec)
|
|
test (coq-8.20.1-emacs-29.3)
FAILED 10/14 091_coq-test-regression-Fail (1.006664 sec) at ci/coq-tests.el:425
|
|
test (coq-8.20.1-emacs-29.3)
FAILED 9/14 090_coq-test-regression-Fail (1.000273 sec) at ci/coq-tests.el:400
|
|
test (coq-8.20.1-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.006176 sec)
|
|
test (coq-8.20.1-emacs-29.3)
FAILED 2/14 020_coq-test-definition (0.992789 sec) at ci/coq-tests.el:203
|
|
test (coq-8.20.1-emacs-28.2)
FAILED 10/14 091_coq-test-regression-Fail (1.020360 sec)
|
|
test (coq-8.20.1-emacs-28.2)
FAILED 9/14 090_coq-test-regression-Fail (1.038609 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.011477 sec)
|
|
test (coq-8.20.1-emacs-28.2)
FAILED 2/14 020_coq-test-definition (1.019203 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
FAILED 10/14 091_coq-test-regression-Fail (0.201570 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
FAILED 9/14 090_coq-test-regression-Fail (0.169704 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.167868 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
FAILED 2/14 020_coq-test-definition (0.170902 sec)
|
|
test (coq-8.20.1-emacs-29.4)
FAILED 10/14 091_coq-test-regression-Fail (0.989774 sec) at ci/coq-tests.el:425
|
|
test (coq-8.20.1-emacs-29.4)
FAILED 9/14 090_coq-test-regression-Fail (0.986726 sec) at ci/coq-tests.el:400
|
|
test (coq-8.20.1-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.982542 sec)
|
|
test (coq-8.20.1-emacs-29.4)
FAILED 2/14 020_coq-test-definition (0.987293 sec) at ci/coq-tests.el:203
|
|
simple-tests (coq-9.0.0-emacs-29.4)
FAILED 1/1 coqtop-unavailable (0.446486 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.231807 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.235457 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.233540 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.232350 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.237278 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.232701 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.747657 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000135 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000168 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.617228 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.683070 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.685478 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.682472 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.713183 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.686021 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.681204 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.391846 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.744027 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.958804 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.962511 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.954770 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.971140 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.955150 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.955984 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.746019 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
FAILED 1/1 coqtop-unavailable (0.423700 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.295706 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.288482 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.289678 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.289613 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.292667 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.294557 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.803231 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.872087 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.019570 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.011787 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.991957 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.009577 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.992446 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.000837 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.931191 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
FAILED 1/1 coqtop-unavailable (0.541052 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.187083 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.169199 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.185978 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.185612 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.169204 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.182920 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.754440 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.533698 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.786773 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.822235 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.823609 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.822086 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.821248 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.813976 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.808014 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.567182 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.445289 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.173766 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.172912 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.173845 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.172748 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.174696 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.175026 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.650349 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.784997 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.019127 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.022644 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.014547 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.018286 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.018227 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.009774 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.819740 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.585739 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.875976 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.841574 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.850842 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.874558 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.844153 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.849018 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.845051 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.666319 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
FAILED 1/1 coqtop-unavailable (0.575641 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.188200 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.191637 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.173243 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.186504 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.175389 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.188261 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.855771 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.381765 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.643510 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.698366 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.704107 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.701242 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.699951 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.689810 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.691987 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.422960 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.858612 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.861903 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.886085 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.867535 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.885861 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.860935 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.879484 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.773311 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.699285 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.804418 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.798661 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.809115 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.819751 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.789722 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.789667 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.500743 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
FAILED 1/1 coqtop-unavailable (0.754450 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.985627 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.986212 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.986155 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.986546 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.982936 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.983779 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.775673 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.844464 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.989342 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.007191 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.992227 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.999974 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.983784 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.001008 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.937752 sec)
|
|
test (coq-9.0.0-emacs-29.1)
FAILED 10/14 091_coq-test-regression-Fail (0.296012 sec) at ci/coq-tests.el:425
|
|
test (coq-9.0.0-emacs-29.1)
FAILED 9/14 090_coq-test-regression-Fail (0.293499 sec) at ci/coq-tests.el:400
|
|
test (coq-9.0.0-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.290144 sec)
|
|
test (coq-9.0.0-emacs-29.1)
FAILED 2/14 020_coq-test-definition (0.295309 sec) at ci/coq-tests.el:203
|
|
test (coq-9.1-rc1-emacs-29.1)
FAILED 10/14 091_coq-test-regression-Fail (0.173861 sec) at ci/coq-tests.el:425
|
|
test (coq-9.1-rc1-emacs-29.1)
FAILED 9/14 090_coq-test-regression-Fail (0.175117 sec) at ci/coq-tests.el:400
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.169323 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
FAILED 2/14 020_coq-test-definition (0.176099 sec) at ci/coq-tests.el:203
|
|
test (coq-9.1-rc1-emacs-27.2)
FAILED 10/14 091_coq-test-regression-Fail (0.194661 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
FAILED 9/14 090_coq-test-regression-Fail (0.167780 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.164633 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
FAILED 2/14 020_coq-test-definition (0.192127 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.893389 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.901829 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.912465 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.887166 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.897109 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.886611 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.899573 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.819736 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.574899 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.821276 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.821320 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.829758 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.826248 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.824179 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.831771 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.820322 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.586808 sec)
|
|
test (coq-8.17.1-emacs-30.1)
FAILED 10/14 091_coq-test-regression-Fail (0.681537 sec) at ci/coq-tests.el:425
|
|
test (coq-8.17.1-emacs-30.1)
FAILED 9/14 090_coq-test-regression-Fail (0.680238 sec) at ci/coq-tests.el:400
|
|
test (coq-8.17.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.684140 sec)
|
|
test (coq-8.17.1-emacs-30.1)
FAILED 2/14 020_coq-test-definition (0.685898 sec) at ci/coq-tests.el:203
|
|
test (coq-9.1-rc1-emacs-28.2)
FAILED 10/14 091_coq-test-regression-Fail (0.228793 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
FAILED 9/14 090_coq-test-regression-Fail (0.181848 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.176513 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
FAILED 2/14 020_coq-test-definition (0.183178 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
FAILED 10/14 091_coq-test-regression-Fail (0.185521 sec) at ci/coq-tests.el:425
|
|
test (coq-9.1-rc1-emacs-29.3)
FAILED 9/14 090_coq-test-regression-Fail (0.184111 sec) at ci/coq-tests.el:400
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.179737 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
FAILED 2/14 020_coq-test-definition (0.184928 sec) at ci/coq-tests.el:203
|
|
test (coq-9.1-rc1-emacs-30.1)
FAILED 10/14 091_coq-test-regression-Fail (0.171387 sec) at ci/coq-tests.el:425
|
|
test (coq-9.1-rc1-emacs-30.1)
FAILED 9/14 090_coq-test-regression-Fail (0.169782 sec) at ci/coq-tests.el:400
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.165215 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
FAILED 2/14 020_coq-test-definition (0.175948 sec) at ci/coq-tests.el:203
|
|
test (coq-8.19.2-emacs-28.2)
FAILED 10/14 091_coq-test-regression-Fail (0.787582 sec)
|
|
test (coq-8.19.2-emacs-28.2)
FAILED 9/14 090_coq-test-regression-Fail (0.788229 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.788571 sec)
|
|
test (coq-8.19.2-emacs-28.2)
FAILED 2/14 020_coq-test-definition (0.779395 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
FAILED 1/1 coqtop-unavailable (0.434922 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.295100 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.296404 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.298667 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.305022 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.303507 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.300478 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.808550 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.528233 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.287412 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.304056 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.287035 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.301893 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.286621 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301477 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.944362 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.538229 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.304374 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.295647 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.308685 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.305197 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.289333 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.302789 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.919464 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.427090 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.294628 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.290235 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.293058 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.291928 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.301907 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.291404 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.801268 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
FAILED 1/1 coqtop-unavailable (0.578195 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.296983 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.308159 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.294710 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.307626 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.295119 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.307184 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.999290 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
FAILED 1/1 coqtop-unavailable (0.896204 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.882489 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.898058 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.876159 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.907874 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.883987 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.897598 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.856970 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
FAILED 1/1 coqtop-unavailable (0.693646 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.791798 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.785031 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.785840 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.782214 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.784648 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.784617 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.499003 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
FAILED 1/1 coqtop-unavailable (0.539062 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.309642 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.288623 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.312621 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.299850 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.285672 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301296 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.909478 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.574476 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.190463 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.172860 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.187591 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.195817 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.177979 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.190710 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.842119 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.646047 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.122843 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.174215 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.170038 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.169664 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.169754 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.172302 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.170238 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.661326 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
FAILED 1/1 coqtop-unavailable (0.461867 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.177602 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.179565 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.184965 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.183105 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.185695 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.184197 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.665598 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
FAILED 1/1 coqtop-unavailable (0.462790 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.177243 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.180441 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.180671 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.177574 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.177064 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.179746 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.666967 sec)
|
|
test (coq-9.0.0-emacs-28.2)
FAILED 10/14 091_coq-test-regression-Fail (0.313103 sec)
|
|
test (coq-9.0.0-emacs-28.2)
FAILED 9/14 090_coq-test-regression-Fail (0.286349 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.282170 sec)
|
|
test (coq-9.0.0-emacs-28.2)
FAILED 2/14 020_coq-test-definition (0.286814 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.594942 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.209082 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.210253 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.191495 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.214053 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.192412 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.209845 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.879045 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
FAILED 1/1 coqtop-unavailable (0.445976 sec) at coq-test-coqtop-unavailable.el:16
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.175484 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.182542 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.171585 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.174264 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.182833 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.177510 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.656633 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.724863 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (5.262920 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.227022 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.227226 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.225897 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.226350 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.225700 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.230244 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.729361 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.938994 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.053813 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.052484 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (1.036233 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.045801 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (1.037830 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.049006 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (2.046106 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.872771 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (1.021990 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.020140 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (1.009128 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.019087 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.993217 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.005051 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (2.024151 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.352372 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.624145 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.682195 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.688140 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.684092 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.680160 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.680869 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.686224 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.383156 sec)
|
|
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-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-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-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.3)
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
|
|
test (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-29.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-8.19.2-emacs-27.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.15.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-29.4)
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.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.4)
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-29.3)
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-9.1-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.4)
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
|
|
test (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.4)
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-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.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.15.2-emacs-30.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.17.1-emacs-30.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.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-28.1)
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-9.0.0-emacs-29.4)
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
|
|
simple-tests (coq-8.15.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.17.1-emacs-29.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.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.4)
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
|
|
simple-tests (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-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
|
|
simple-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-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.1-rc1-emacs-28.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
|
|
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.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.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
|
|
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.18.0-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.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-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-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-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.3)
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-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.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.20.1-emacs-29.4)
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
|
|
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-27.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.1-rc1-emacs-29.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
|
|
test (coq-9.0.0-emacs-28.2)
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.1-rc1-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
|
|
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.16.1-emacs-28.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.17.1-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
|
|
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
|