First attempt of fixing elpi syntax by Philip Kaludercic. #845
Matafoutest.yml
on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
523 errors and 111 warnings
|
check-doc-magic (30.1)
Process completed with exit code 1.
|
|
check-doc-magic (29.4)
Process completed with exit code 1.
|
|
test (coq-9.0.0-emacs-28.1)
FAILED 13/14 200_test-command-spliting (0.005725 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 10/14 091_coq-test-regression-Fail (0.285140 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 9/14 090_coq-test-regression-Fail (0.256294 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.247246 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 2/14 020_coq-test-definition (0.252617 sec)
|
|
test (coq-8.15.2-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.006565 sec) at ci/coq-tests.el:507
|
|
test (coq-8.15.2-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.694870 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.697856 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.701702 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 2/14 020_coq-test-definition (0.681622 sec)
|
|
test (coq-9.0.0-emacs-28.2)
FAILED 13/14 200_test-command-spliting (0.005055 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (0.243419 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (0.224617 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.215634 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 2/14 020_coq-test-definition (0.220060 sec)
|
|
test (coq-9.0.0-emacs-29.4)
FAILED 13/14 200_test-command-spliting (0.006493 sec) at ci/coq-tests.el:507
|
|
test (coq-9.0.0-emacs-29.4)
failed 10/14 091_coq-test-regression-Fail (0.290630 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 9/14 090_coq-test-regression-Fail (0.287689 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.284832 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 2/14 020_coq-test-definition (0.289908 sec)
|
|
test (coq-9.0.0-emacs-27.2)
FAILED 13/14 200_test-command-spliting (0.006288 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 10/14 091_coq-test-regression-Fail (0.301045 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 9/14 090_coq-test-regression-Fail (0.323410 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.291060 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 2/14 020_coq-test-definition (0.293595 sec)
|
|
test (coq-8.16.1-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.006451 sec) at ci/coq-tests.el:507
|
|
test (coq-8.16.1-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.704736 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.698849 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.686880 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 2/14 020_coq-test-definition (0.697814 sec)
|
|
test (coq-9.0.0-emacs-29.2)
FAILED 13/14 200_test-command-spliting (0.006311 sec) at ci/coq-tests.el:507
|
|
test (coq-9.0.0-emacs-29.2)
failed 10/14 091_coq-test-regression-Fail (0.294997 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 9/14 090_coq-test-regression-Fail (0.294558 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.287937 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 2/14 020_coq-test-definition (0.298976 sec)
|
|
test (coq-8.17.1-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.006529 sec) at ci/coq-tests.el:507
|
|
test (coq-8.17.1-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.713230 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.711234 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.703255 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 2/14 020_coq-test-definition (0.697059 sec)
|
|
test (coq-9.0.0-emacs-29.3)
FAILED 13/14 200_test-command-spliting (0.006526 sec) at ci/coq-tests.el:507
|
|
test (coq-9.0.0-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (0.294478 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (0.292780 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.285248 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 2/14 020_coq-test-definition (0.293222 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
FAILED 13/14 200_test-command-spliting (0.007584 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (0.253454 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (0.197014 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.197951 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 2/14 020_coq-test-definition (0.217573 sec)
|
|
test (coq-8.16.1-emacs-28.2)
FAILED 13/14 200_test-command-spliting (0.006384 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (0.899857 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (0.924426 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.894504 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 2/14 020_coq-test-definition (0.896694 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.006655 sec) at ci/coq-tests.el:507
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.174635 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.175832 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.172609 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 2/14 020_coq-test-definition (0.180844 sec)
|
|
test (coq-9.0.0-emacs-27.1)
FAILED 13/14 200_test-command-spliting (0.006494 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (0.298660 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.323627 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.303069 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 2/14 020_coq-test-definition (0.305356 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
FAILED 13/14 200_test-command-spliting (0.006449 sec) at ci/coq-tests.el:507
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 10/14 091_coq-test-regression-Fail (0.172889 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 9/14 090_coq-test-regression-Fail (0.172745 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.168594 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 2/14 020_coq-test-definition (0.173749 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
FAILED 13/14 200_test-command-spliting (0.006480 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (0.195678 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.168041 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.193576 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 2/14 020_coq-test-definition (0.192684 sec)
|
|
test (coq-9.0.0-emacs-29.1)
FAILED 13/14 200_test-command-spliting (0.006387 sec) at ci/coq-tests.el:507
|
|
test (coq-9.0.0-emacs-29.1)
failed 10/14 091_coq-test-regression-Fail (0.286700 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 9/14 090_coq-test-regression-Fail (0.289402 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.290005 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 2/14 020_coq-test-definition (0.291138 sec)
|
|
test (coq-9.0.0-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.006619 sec) at ci/coq-tests.el:507
|
|
test (coq-9.0.0-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.296899 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.293468 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.288335 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 2/14 020_coq-test-definition (0.294899 sec)
|
|
test (coq-8.19.2-emacs-27.1)
FAILED 13/14 200_test-command-spliting (0.006322 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (1.026802 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.998648 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.996226 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 2/14 020_coq-test-definition (1.029302 sec)
|
|
test (coq-8.20.1-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.006642 sec) at ci/coq-tests.el:507
|
|
test (coq-8.20.1-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.844210 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.835450 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.830572 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 2/14 020_coq-test-definition (0.832430 sec)
|
|
test (coq-8.18.0-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.005129 sec) at ci/coq-tests.el:507
|
|
test (coq-8.18.0-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.605144 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.602913 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.608222 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 2/14 020_coq-test-definition (0.610631 sec)
|
|
test (coq-8.19.2-emacs-28.2)
FAILED 13/14 200_test-command-spliting (0.006373 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (0.991505 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (1.007215 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.975812 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 2/14 020_coq-test-definition (0.987962 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
FAILED 13/14 200_test-command-spliting (0.006324 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 10/14 091_coq-test-regression-Fail (0.200276 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 9/14 090_coq-test-regression-Fail (0.170627 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.165952 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 2/14 020_coq-test-definition (0.172925 sec)
|
|
test (coq-8.20.1-emacs-29.3)
FAILED 13/14 200_test-command-spliting (0.006440 sec) at ci/coq-tests.el:507
|
|
test (coq-8.20.1-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (1.003756 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (1.002972 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.994843 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 2/14 020_coq-test-definition (0.996526 sec)
|
|
test (coq-8.20.1-emacs-28.2)
FAILED 13/14 200_test-command-spliting (0.006507 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (1.033161 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (1.044392 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.008301 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 2/14 020_coq-test-definition (1.017478 sec)
|
|
test (coq-8.15.2-emacs-27.1)
FAILED 13/14 200_test-command-spliting (0.006515 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (0.886094 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.911379 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.883690 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 2/14 020_coq-test-definition (0.876467 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
FAILED 13/14 200_test-command-spliting (0.006226 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 10/14 091_coq-test-regression-Fail (0.193473 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 9/14 090_coq-test-regression-Fail (0.167622 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.189528 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 2/14 020_coq-test-definition (0.195587 sec)
|
|
test (coq-8.18.0-emacs-29.3)
FAILED 13/14 200_test-command-spliting (0.006421 sec) at ci/coq-tests.el:507
|
|
test (coq-8.18.0-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (0.975896 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (0.977610 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.960214 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 2/14 020_coq-test-definition (0.961714 sec)
|
|
test (coq-8.17.1-emacs-29.1)
FAILED 13/14 200_test-command-spliting (0.006719 sec) at ci/coq-tests.el:507
|
|
test (coq-8.17.1-emacs-29.1)
failed 10/14 091_coq-test-regression-Fail (0.920980 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 9/14 090_coq-test-regression-Fail (0.903004 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.895597 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 2/14 020_coq-test-definition (0.890051 sec)
|
|
test (coq-8.15.2-emacs-28.1)
FAILED 13/14 200_test-command-spliting (0.006354 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 10/14 091_coq-test-regression-Fail (0.874726 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 9/14 090_coq-test-regression-Fail (0.891466 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.865028 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 2/14 020_coq-test-definition (0.869155 sec)
|
|
test (coq-8.20.1-emacs-27.1)
FAILED 13/14 200_test-command-spliting (0.006264 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (1.019018 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (1.047599 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.999230 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 2/14 020_coq-test-definition (1.008450 sec)
|
|
test (coq-8.19.2-emacs-29.4)
FAILED 13/14 200_test-command-spliting (0.006651 sec) at ci/coq-tests.el:507
|
|
test (coq-8.19.2-emacs-29.4)
failed 10/14 091_coq-test-regression-Fail (1.020205 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 9/14 090_coq-test-regression-Fail (1.001722 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.007975 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 2/14 020_coq-test-definition (1.000865 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.799438 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (66.147791 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.862732 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.872082 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.863799 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.869911 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.861152 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.895011 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.758012 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
FAILED 13/14 200_test-command-spliting (0.006523 sec) at ci/coq-tests.el:507
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 10/14 091_coq-test-regression-Fail (0.173186 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 9/14 090_coq-test-regression-Fail (0.171327 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.166535 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 2/14 020_coq-test-definition (0.172361 sec)
|
|
test (coq-8.19.2-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.006692 sec) at ci/coq-tests.el:507
|
|
test (coq-8.19.2-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.838500 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.837827 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.845227 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 2/14 020_coq-test-definition (0.850354 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
FAILED 13/14 200_test-command-spliting (0.006593 sec) at ci/coq-tests.el:507
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (0.179253 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (0.178848 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.174007 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 2/14 020_coq-test-definition (0.178993 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
FAILED 13/14 200_test-command-spliting (0.006405 sec) at ci/coq-tests.el:507
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 10/14 091_coq-test-regression-Fail (0.173017 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 9/14 090_coq-test-regression-Fail (0.171364 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.168440 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 2/14 020_coq-test-definition (0.175779 sec)
|
|
test (coq-8.19.2-emacs-29.3)
FAILED 13/14 200_test-command-spliting (0.006467 sec) at ci/coq-tests.el:507
|
|
test (coq-8.19.2-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (0.997694 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (1.009880 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.015253 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 2/14 020_coq-test-definition (0.998687 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.775878 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.213364 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.296980 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.294384 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.295043 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.291623 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.292017 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.290498 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.862875 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.595287 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.926565 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.846801 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.845001 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.849756 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.846910 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.852828 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.853197 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.662284 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.374790 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.555381 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.711071 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.705194 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.706203 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.702105 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.701027 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.694774 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.458056 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.536927 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.771342 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.812198 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.809703 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.820305 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.820505 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.826896 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.816788 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.612724 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.733019 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (58.845749 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.958903 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.967108 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.951990 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.957965 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.953573 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.956504 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.747708 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.004995 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (56.341650 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.305112 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.294009 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.301347 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.299989 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.286364 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301847 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.952850 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.649649 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (64.576564 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.178077 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.172644 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.175325 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.173441 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.175502 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.178004 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.651256 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.796602 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (62.979034 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.296021 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.295723 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.303275 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.299755 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.296291 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.297139 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.819660 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.000893 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (68.514660 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.332252 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.318380 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.305810 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.321866 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.307939 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.323602 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.060480 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.790034 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (60.650642 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.995708 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.996941 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (1.008054 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (1.008826 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (1.000684 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (1.001167 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.805950 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.629520 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (63.191310 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.171201 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.171885 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.170273 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.171092 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.175970 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.172130 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.640228 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000152 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000198 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (5.839810 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.635465 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.633468 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.630959 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.632702 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.640488 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.632707 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.353108 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.690795 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (54.508664 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.231924 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.227142 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.233441 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.230302 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.231541 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.232710 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.727019 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.759790 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (65.090263 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.983996 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.975743 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.989901 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.989599 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.988312 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.980402 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.771306 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.775472 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (66.407594 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.183967 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.185209 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.170203 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.172724 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.173704 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.186027 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.780365 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.774784 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (64.710973 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.290966 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.288361 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.286896 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.287104 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.300463 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.289909 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.808260 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.811565 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (59.151440 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.015624 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.012389 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.018868 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.015073 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.014066 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.007776 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.818636 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.819337 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (55.442301 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.183848 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.168973 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.188357 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.181768 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.181894 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.185414 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.807897 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.778853 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (66.095622 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.289506 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.287597 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.288739 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.289072 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.289527 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.289455 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.789634 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.900749 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (63.651590 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.004654 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.017252 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (1.001275 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.013580 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (1.015447 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.023673 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.920247 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000198 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000178 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (68.252340 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.881783 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.887108 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.882753 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.897242 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.880842 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.882117 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.807971 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.596629 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (5.278929 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.155110 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.156741 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.156873 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.160698 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.157431 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.160522 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.657073 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.950208 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (55.726356 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.302328 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.290246 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.303273 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.298171 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.291116 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.300902 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.934378 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.559646 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.814357 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.821950 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.828931 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.817761 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.814001 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.814931 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.810373 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.618464 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.330155 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.669980 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.677604 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.678283 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.677408 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.689159 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.685869 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.678803 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.402674 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000168 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000165 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (64.040053 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.928560 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.946385 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.917106 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.944545 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.918252 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.926609 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.924977 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.906760 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (65.977577 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.999676 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.008429 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.989169 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.001002 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.987585 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.002251 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.908616 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.834605 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (55.775647 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.185122 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.168660 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.183133 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.187262 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.169495 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.184573 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.805512 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.790885 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (56.196808 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.234815 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.236836 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.231745 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.243885 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.226010 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.231754 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.835682 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.639371 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (62.557349 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.172244 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.172762 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.169582 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.171163 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.169589 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.171044 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.642597 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (1.587815 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (60.382848 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.888603 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.874383 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.878014 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.885678 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.880400 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.879822 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (1.637928 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (2.055844 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (61.515590 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (1.017398 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.020148 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (1.009086 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.026123 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (1.003237 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.021663 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.986585 sec)
|
|
test (coq-8.20.1-emacs-29.4)
FAILED 13/14 200_test-command-spliting (0.005669 sec) at ci/coq-tests.el:507
|
|
test (coq-8.20.1-emacs-29.4)
failed 10/14 091_coq-test-regression-Fail (0.882779 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 9/14 090_coq-test-regression-Fail (0.875869 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.880913 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 2/14 020_coq-test-definition (0.893749 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.679748 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (64.711826 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.182821 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.179258 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.182381 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.180417 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.184139 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.179218 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.686368 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.753818 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (74.615177 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.182633 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.185181 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.171002 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.170696 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.169887 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.186750 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.790681 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.774990 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (59.968359 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.988532 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.987345 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.988778 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.992037 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.987614 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.991644 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.786428 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (2.024179 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (69.263508 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (1.004641 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.996140 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.991054 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.005807 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (1.002175 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.011791 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.973766 sec)
|
|
test (coq-9.0.0-emacs-28.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-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.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.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-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-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-30.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.20.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.19.2-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
|
|
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-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.3)
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-28.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
|
|
compile-tests (coq-9.0.0-emacs-28.2)
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
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.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.2)
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-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.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-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-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.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-29.4)
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.17.1-emacs-29.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
|
|
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
|
|
simple-tests (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-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.20.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
|
|
simple-tests (coq-8.20.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-30.1)
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.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-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-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-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-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-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-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
|
|
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.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.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.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
|
|
compile-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (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-29.4)
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
|
|
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.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|