Rocq: enable messages for Rocq >= 9.2 #303
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-8.18.0-emacs-30.1)
FAILED 10/13 091_coq-test-regression-Fail (0.824756 sec) at ci/coq-tests.el:424
|
|
test (coq-8.18.0-emacs-30.1)
FAILED 9/13 090_coq-test-regression-Fail (0.816991 sec) at ci/coq-tests.el:399
|
|
test (coq-8.18.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.817431 sec)
|
|
test (coq-8.18.0-emacs-30.1)
FAILED 2/13 020_coq-test-definition (0.823499 sec) at ci/coq-tests.el:202
|
|
test (coq-8.15.2-emacs-30.1)
FAILED 10/13 091_coq-test-regression-Fail (0.692033 sec) at ci/coq-tests.el:424
|
|
test (coq-8.15.2-emacs-30.1)
FAILED 9/13 090_coq-test-regression-Fail (0.686712 sec) at ci/coq-tests.el:399
|
|
test (coq-8.15.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.680869 sec)
|
|
test (coq-8.15.2-emacs-30.1)
FAILED 2/13 020_coq-test-definition (0.690781 sec) at ci/coq-tests.el:202
|
|
test (coq-8.16.1-emacs-30.1)
FAILED 10/13 091_coq-test-regression-Fail (0.706582 sec) at ci/coq-tests.el:424
|
|
test (coq-8.16.1-emacs-30.1)
FAILED 9/13 090_coq-test-regression-Fail (0.701612 sec) at ci/coq-tests.el:399
|
|
test (coq-8.16.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.698257 sec)
|
|
test (coq-8.16.1-emacs-30.1)
FAILED 2/13 020_coq-test-definition (0.699563 sec) at ci/coq-tests.el:202
|
|
test (coq-8.17.1-emacs-30.1)
FAILED 10/13 091_coq-test-regression-Fail (0.694606 sec) at ci/coq-tests.el:424
|
|
test (coq-8.17.1-emacs-30.1)
FAILED 9/13 090_coq-test-regression-Fail (0.691047 sec) at ci/coq-tests.el:399
|
|
test (coq-8.17.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.687505 sec)
|
|
test (coq-8.17.1-emacs-30.1)
FAILED 2/13 020_coq-test-definition (0.687204 sec) at ci/coq-tests.el:202
|
|
test (coq-8.19.2-emacs-30.1)
FAILED 10/13 091_coq-test-regression-Fail (0.811996 sec) at ci/coq-tests.el:424
|
|
test (coq-8.19.2-emacs-30.1)
FAILED 9/13 090_coq-test-regression-Fail (0.808091 sec) at ci/coq-tests.el:399
|
|
test (coq-8.19.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.802345 sec)
|
|
test (coq-8.19.2-emacs-30.1)
FAILED 2/13 020_coq-test-definition (0.816863 sec) at ci/coq-tests.el:202
|
|
test (coq-9.0.0-emacs-29.3)
FAILED 10/13 091_coq-test-regression-Fail (0.295367 sec) at ci/coq-tests.el:424
|
|
test (coq-9.0.0-emacs-29.3)
FAILED 9/13 090_coq-test-regression-Fail (0.289916 sec) at ci/coq-tests.el:399
|
|
test (coq-9.0.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.287658 sec)
|
|
test (coq-9.0.0-emacs-29.3)
FAILED 2/13 020_coq-test-definition (0.294529 sec) at ci/coq-tests.el:202
|
|
test (coq-9.0.0-emacs-29.4)
FAILED 10/13 091_coq-test-regression-Fail (0.293436 sec) at ci/coq-tests.el:424
|
|
test (coq-9.0.0-emacs-29.4)
FAILED 9/13 090_coq-test-regression-Fail (0.289834 sec) at ci/coq-tests.el:399
|
|
test (coq-9.0.0-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.284969 sec)
|
|
test (coq-9.0.0-emacs-29.4)
FAILED 2/13 020_coq-test-definition (0.287127 sec) at ci/coq-tests.el:202
|
|
test (coq-9.0.0-emacs-28.2)
FAILED 10/13 091_coq-test-regression-Fail (0.294325 sec)
|
|
test (coq-9.0.0-emacs-28.2)
FAILED 9/13 090_coq-test-regression-Fail (0.286301 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.286958 sec)
|
|
test (coq-9.0.0-emacs-28.2)
FAILED 2/13 020_coq-test-definition (0.291786 sec)
|
|
test (coq-8.15.2-emacs-28.1)
FAILED 10/13 091_coq-test-regression-Fail (0.724405 sec)
|
|
test (coq-8.15.2-emacs-28.1)
FAILED 9/13 090_coq-test-regression-Fail (0.745044 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.707750 sec)
|
|
test (coq-8.15.2-emacs-28.1)
FAILED 2/13 020_coq-test-definition (0.729897 sec)
|
|
test (coq-8.18.0-emacs-29.3)
FAILED 10/13 091_coq-test-regression-Fail (0.978312 sec) at ci/coq-tests.el:424
|
|
test (coq-8.18.0-emacs-29.3)
FAILED 9/13 090_coq-test-regression-Fail (0.960152 sec) at ci/coq-tests.el:399
|
|
test (coq-8.18.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.979546 sec)
|
|
test (coq-8.18.0-emacs-29.3)
FAILED 2/13 020_coq-test-definition (0.967463 sec) at ci/coq-tests.el:202
|
|
test (coq-8.16.1-emacs-28.2)
FAILED 10/13 091_coq-test-regression-Fail (0.874901 sec)
|
|
test (coq-8.16.1-emacs-28.2)
FAILED 9/13 090_coq-test-regression-Fail (0.906306 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.866648 sec)
|
|
test (coq-8.16.1-emacs-28.2)
FAILED 2/13 020_coq-test-definition (0.866578 sec)
|
|
test (coq-8.19.2-emacs-27.1)
FAILED 10/13 091_coq-test-regression-Fail (1.024798 sec)
|
|
test (coq-8.19.2-emacs-27.1)
FAILED 9/13 090_coq-test-regression-Fail (1.010515 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.997187 sec)
|
|
test (coq-8.19.2-emacs-27.1)
FAILED 2/13 020_coq-test-definition (1.012051 sec)
|
|
test (coq-8.15.2-emacs-27.1)
FAILED 10/13 091_coq-test-regression-Fail (0.896850 sec)
|
|
test (coq-8.15.2-emacs-27.1)
FAILED 9/13 090_coq-test-regression-Fail (0.866879 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.865302 sec)
|
|
test (coq-8.15.2-emacs-27.1)
FAILED 2/13 020_coq-test-definition (0.862061 sec)
|
|
test (coq-8.19.2-emacs-28.2)
FAILED 10/13 091_coq-test-regression-Fail (0.995875 sec)
|
|
test (coq-8.19.2-emacs-28.2)
FAILED 9/13 090_coq-test-regression-Fail (1.006844 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.986265 sec)
|
|
test (coq-8.19.2-emacs-28.2)
FAILED 2/13 020_coq-test-definition (0.991359 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
FAILED 10/13 091_coq-test-regression-Fail (0.150790 sec) at ci/coq-tests.el:424
|
|
test (coq-9.1-rc1-emacs-30.1)
FAILED 9/13 090_coq-test-regression-Fail (0.152218 sec) at ci/coq-tests.el:399
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.147546 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
FAILED 2/13 020_coq-test-definition (0.151457 sec) at ci/coq-tests.el:202
|
|
test (coq-8.20.1-emacs-30.1)
FAILED 10/13 091_coq-test-regression-Fail (0.832676 sec) at ci/coq-tests.el:424
|
|
test (coq-8.20.1-emacs-30.1)
FAILED 9/13 090_coq-test-regression-Fail (0.815189 sec) at ci/coq-tests.el:399
|
|
test (coq-8.20.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.816253 sec)
|
|
test (coq-8.20.1-emacs-30.1)
FAILED 2/13 020_coq-test-definition (0.811255 sec) at ci/coq-tests.el:202
|
|
test (coq-8.19.2-emacs-29.3)
FAILED 10/13 091_coq-test-regression-Fail (0.984419 sec) at ci/coq-tests.el:424
|
|
test (coq-8.19.2-emacs-29.3)
FAILED 9/13 090_coq-test-regression-Fail (0.976434 sec) at ci/coq-tests.el:399
|
|
test (coq-8.19.2-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.974208 sec)
|
|
test (coq-8.19.2-emacs-29.3)
FAILED 2/13 020_coq-test-definition (0.979610 sec) at ci/coq-tests.el:202
|
|
test (coq-9.0.0-emacs-27.2)
FAILED 10/13 091_coq-test-regression-Fail (0.282290 sec)
|
|
test (coq-9.0.0-emacs-27.2)
FAILED 9/13 090_coq-test-regression-Fail (0.257248 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.248484 sec)
|
|
test (coq-9.0.0-emacs-27.2)
FAILED 2/13 020_coq-test-definition (0.281374 sec)
|
|
test (coq-8.17.1-emacs-29.1)
FAILED 10/13 091_coq-test-regression-Fail (0.896619 sec) at ci/coq-tests.el:424
|
|
test (coq-8.17.1-emacs-29.1)
FAILED 9/13 090_coq-test-regression-Fail (0.924102 sec) at ci/coq-tests.el:399
|
|
test (coq-8.17.1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.903449 sec)
|
|
test (coq-8.17.1-emacs-29.1)
FAILED 2/13 020_coq-test-definition (0.902667 sec) at ci/coq-tests.el:202
|
|
test (coq-8.20.1-emacs-28.2)
FAILED 10/13 091_coq-test-regression-Fail (1.007585 sec)
|
|
test (coq-8.20.1-emacs-28.2)
FAILED 9/13 090_coq-test-regression-Fail (1.037863 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.006450 sec)
|
|
test (coq-8.20.1-emacs-28.2)
FAILED 2/13 020_coq-test-definition (1.001585 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
FAILED 10/13 091_coq-test-regression-Fail (0.193801 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
FAILED 9/13 090_coq-test-regression-Fail (0.170721 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.189955 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
FAILED 2/13 020_coq-test-definition (0.167344 sec)
|
|
test (coq-8.20.1-emacs-29.4)
FAILED 10/13 091_coq-test-regression-Fail (1.051240 sec) at ci/coq-tests.el:424
|
|
test (coq-8.20.1-emacs-29.4)
FAILED 9/13 090_coq-test-regression-Fail (1.053746 sec) at ci/coq-tests.el:399
|
|
test (coq-8.20.1-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.032139 sec)
|
|
test (coq-8.20.1-emacs-29.4)
FAILED 2/13 020_coq-test-definition (1.052226 sec) at ci/coq-tests.el:202
|
|
test (coq-9.0.0-emacs-30.1)
FAILED 10/13 091_coq-test-regression-Fail (0.297033 sec) at ci/coq-tests.el:424
|
|
test (coq-9.0.0-emacs-30.1)
FAILED 9/13 090_coq-test-regression-Fail (0.292828 sec) at ci/coq-tests.el:399
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.289610 sec)
|
|
test (coq-9.0.0-emacs-30.1)
FAILED 2/13 020_coq-test-definition (0.311778 sec) at ci/coq-tests.el:202
|
|
test (coq-9.0.0-emacs-28.1)
FAILED 10/13 091_coq-test-regression-Fail (0.288710 sec)
|
|
test (coq-9.0.0-emacs-28.1)
FAILED 9/13 090_coq-test-regression-Fail (0.285349 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.282219 sec)
|
|
test (coq-9.0.0-emacs-28.1)
FAILED 2/13 020_coq-test-definition (0.289190 sec)
|
|
test (coq-9.0.0-emacs-29.2)
FAILED 10/13 091_coq-test-regression-Fail (0.295550 sec) at ci/coq-tests.el:424
|
|
test (coq-9.0.0-emacs-29.2)
FAILED 9/13 090_coq-test-regression-Fail (0.293426 sec) at ci/coq-tests.el:399
|
|
test (coq-9.0.0-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.293215 sec)
|
|
test (coq-9.0.0-emacs-29.2)
FAILED 2/13 020_coq-test-definition (0.298564 sec) at ci/coq-tests.el:202
|
|
test (coq-9.1-rc1-emacs-29.4)
FAILED 10/13 091_coq-test-regression-Fail (0.173491 sec) at ci/coq-tests.el:424
|
|
test (coq-9.1-rc1-emacs-29.4)
FAILED 9/13 090_coq-test-regression-Fail (0.174810 sec) at ci/coq-tests.el:399
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.169735 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
FAILED 2/13 020_coq-test-definition (0.173485 sec) at ci/coq-tests.el:202
|
|
test (coq-9.1-rc1-emacs-29.1)
FAILED 10/13 091_coq-test-regression-Fail (0.171147 sec) at ci/coq-tests.el:424
|
|
test (coq-9.1-rc1-emacs-29.1)
FAILED 9/13 090_coq-test-regression-Fail (0.165876 sec) at ci/coq-tests.el:399
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.154882 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
FAILED 2/13 020_coq-test-definition (0.163001 sec) at ci/coq-tests.el:202
|
|
test (coq-9.1-rc1-emacs-29.2)
FAILED 10/13 091_coq-test-regression-Fail (0.168924 sec) at ci/coq-tests.el:424
|
|
test (coq-9.1-rc1-emacs-29.2)
FAILED 9/13 090_coq-test-regression-Fail (0.169782 sec) at ci/coq-tests.el:399
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.164169 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
FAILED 2/13 020_coq-test-definition (0.171607 sec) at ci/coq-tests.el:202
|
|
test (coq-9.0.0-emacs-29.1)
FAILED 10/13 091_coq-test-regression-Fail (0.299972 sec) at ci/coq-tests.el:424
|
|
test (coq-9.0.0-emacs-29.1)
FAILED 9/13 090_coq-test-regression-Fail (0.295349 sec) at ci/coq-tests.el:399
|
|
test (coq-9.0.0-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.288742 sec)
|
|
test (coq-9.0.0-emacs-29.1)
FAILED 2/13 020_coq-test-definition (0.295536 sec) at ci/coq-tests.el:202
|
|
test (coq-9.1-rc1-emacs-29.3)
FAILED 10/13 091_coq-test-regression-Fail (0.175208 sec) at ci/coq-tests.el:424
|
|
test (coq-9.1-rc1-emacs-29.3)
FAILED 9/13 090_coq-test-regression-Fail (0.171569 sec) at ci/coq-tests.el:399
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.167657 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
FAILED 2/13 020_coq-test-definition (0.174511 sec) at ci/coq-tests.el:202
|
|
test (coq-9.0.0-emacs-27.1)
FAILED 10/13 091_coq-test-regression-Fail (0.307345 sec)
|
|
test (coq-9.0.0-emacs-27.1)
FAILED 9/13 090_coq-test-regression-Fail (0.282903 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.302727 sec)
|
|
test (coq-9.0.0-emacs-27.1)
FAILED 2/13 020_coq-test-definition (0.283565 sec)
|
|
test (coq-8.19.2-emacs-29.4)
FAILED 10/13 091_coq-test-regression-Fail (0.998810 sec) at ci/coq-tests.el:424
|
|
test (coq-8.19.2-emacs-29.4)
FAILED 9/13 090_coq-test-regression-Fail (0.998679 sec) at ci/coq-tests.el:399
|
|
test (coq-8.19.2-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.988130 sec)
|
|
test (coq-8.19.2-emacs-29.4)
FAILED 2/13 020_coq-test-definition (1.022279 sec) at ci/coq-tests.el:202
|
|
test (coq-9.1-rc1-emacs-28.2)
FAILED 10/13 091_coq-test-regression-Fail (0.170169 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
FAILED 9/13 090_coq-test-regression-Fail (0.168723 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.165645 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
FAILED 2/13 020_coq-test-definition (0.169248 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
FAILED 10/13 091_coq-test-regression-Fail (0.171567 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
FAILED 9/13 090_coq-test-regression-Fail (0.169979 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.172607 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
FAILED 2/13 020_coq-test-definition (0.173783 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.540604 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.303361 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.286702 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.304487 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.301446 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.288432 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.298117 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.940665 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
FAILED 1/1 coqtop-unavailable (0.553094 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.300784 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.295256 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.304057 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.304748 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.288255 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.302857 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.950018 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
FAILED 10/13 091_coq-test-regression-Fail (0.197238 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
FAILED 9/13 090_coq-test-regression-Fail (0.168764 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.192774 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
FAILED 2/13 020_coq-test-definition (0.200827 sec)
|
|
test (coq-8.20.1-emacs-29.3)
FAILED 10/13 091_coq-test-regression-Fail (0.990627 sec) at ci/coq-tests.el:424
|
|
test (coq-8.20.1-emacs-29.3)
FAILED 9/13 090_coq-test-regression-Fail (0.985376 sec) at ci/coq-tests.el:399
|
|
test (coq-8.20.1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.981454 sec)
|
|
test (coq-8.20.1-emacs-29.3)
FAILED 2/13 020_coq-test-definition (0.990659 sec) at ci/coq-tests.el:202
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
FAILED 1/1 coqtop-unavailable (0.445893 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.174347 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.172458 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.177267 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.173531 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.172688 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.171151 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.643376 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
FAILED 1/1 coqtop-unavailable (0.438565 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.292083 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.294343 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.298156 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.293813 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.291177 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.296465 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.801116 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
FAILED 1/1 coqtop-unavailable (0.547748 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.184920 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.187954 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.172037 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.176401 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.172920 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.187332 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.804783 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
FAILED 1/1 coqtop-unavailable (0.899008 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.904723 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.907660 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.899052 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.904844 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.886740 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.904203 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.867825 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.759864 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.012472 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.997575 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.997740 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.992967 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.989734 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.010770 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.797105 sec)
|
|
test (coq-8.20.1-emacs-27.1)
FAILED 10/13 091_coq-test-regression-Fail (1.048504 sec)
|
|
test (coq-8.20.1-emacs-27.1)
FAILED 9/13 090_coq-test-regression-Fail (1.000496 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.989758 sec)
|
|
test (coq-8.20.1-emacs-27.1)
FAILED 2/13 020_coq-test-definition (1.007181 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
FAILED 1/1 coqtop-unavailable (0.458682 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.177674 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.178986 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.178119 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.178139 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.176369 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.178128 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.660937 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.368235 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.614590 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.684949 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.690891 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.695316 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.697401 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.695563 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.690782 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.427129 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
FAILED 1/1 coqtop-unavailable (0.451790 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.302040 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.301026 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.296932 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.304356 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.299881 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301454 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.815470 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.841843 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.876866 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.885159 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.891892 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.886017 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.877267 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.875514 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.763932 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
FAILED 1/1 coqtop-unavailable (0.527010 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.302597 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.305481 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.291206 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.301216 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.284636 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301780 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.952991 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
FAILED 1/1 coqtop-unavailable (0.753235 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.878077 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.904491 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.876420 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.880731 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.873500 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.872616 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (1.625021 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
FAILED 1/1 coqtop-unavailable (0.746779 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.985429 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.989571 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.983733 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.994412 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.997376 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.986497 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.773613 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
FAILED 1/1 coqtop-unavailable (0.533687 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.182791 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.169435 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.180820 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.184236 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.168651 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.182504 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.779396 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.402363 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.625268 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.710207 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.701749 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.696755 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.711111 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.706157 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.699312 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.443596 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
FAILED 1/1 coqtop-unavailable (0.440697 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.303086 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.299427 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.301904 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.300134 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.303379 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.297267 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.805607 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.530929 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.789561 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.829121 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.818304 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.812024 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.816944 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.826265 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.814463 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.615756 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.438132 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.292615 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.291803 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.290978 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.293100 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.293085 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.294516 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.804754 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.536673 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.190918 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.188687 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.173935 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.172961 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.178424 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.190051 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.793823 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.553120 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.837705 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.824883 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.822263 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.847941 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.824425 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.822625 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.822345 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.614102 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.795470 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.120341 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.318322 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.315617 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.313128 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.315202 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.313850 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.313206 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.913473 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.436358 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.173421 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.170895 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.172300 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.172374 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.171748 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.173623 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.634283 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000211 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000187 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.621279 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.678418 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.684523 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.681617 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.691484 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.685804 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.682555 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.426365 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.848129 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.861952 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.879856 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.866191 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.882252 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.867678 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.876933 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.758302 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.743323 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.967846 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.958408 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.958218 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.964246 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.966762 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.967485 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.755790 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.522922 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.307001 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.304958 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.292853 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.303405 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.288767 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.298792 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.950167 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
FAILED 1/1 coqtop-unavailable (0.449446 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.178880 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.172230 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.172214 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.851205 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.171508 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.007639 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.172612 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.019284 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (1.009397 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.172918 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.018210 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (1.001960 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.016628 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.653884 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.946092 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
FAILED 1/1 coqtop-unavailable (0.767913 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 (1.032047 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (1.033386 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (1.011467 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (1.021436 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (1.014810 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (1.000840 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.835838 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.521304 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.811060 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.817262 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.814085 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.815304 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.814588 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.808619 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.810357 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.603973 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.866880 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (1.012591 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.009403 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.991149 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.009619 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.994067 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.007020 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.967977 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.629222 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.048565 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.170764 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.174350 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.170699 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.173869 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.172286 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.172762 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.702200 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.895998 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (1.018759 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.014713 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.998912 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.003061 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.997606 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.016029 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.970574 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
FAILED 1/1 coqtop-unavailable (0.561900 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.184840 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.168661 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.183203 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.182026 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.169144 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.184153 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.815455 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
FAILED 1/1 coqtop-unavailable (0.780131 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 (1.025311 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.044749 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.036596 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.030395 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.016639 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.026163 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.809868 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
FAILED 1/1 coqtop-unavailable (0.862925 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.017616 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.024648 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (1.017102 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.031786 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (1.004920 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.021462 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.955952 sec)
|
|
test (coq-8.18.0-emacs-30.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-8.16.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-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-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.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-28.2)
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.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-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-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-27.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.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-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-9.1-rc1-emacs-29.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.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-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-9.1-rc1-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
|
|
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-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.3)
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
|
|
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.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-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-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.4)
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.17.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.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-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-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-28.2)
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-27.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-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-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-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-30.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
|
|
compile-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.2)
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-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.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-9.1-rc1-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.19.2-emacs-28.2)
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.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-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
|
|
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.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-27.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.19.2-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-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.15.2-emacs-28.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.20.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-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.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|