Skip to content
CI

Fix response #817

Sign in to view logs

Fix response

Fix response #817

Triggered via pull request May 15, 2025 20:58
@hendriktewshendriktews
opened #831
hendriktews:fix-response
Status Failure
Total duration 18m 52s
Artifacts –

test.yml

on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

458 errors and 113 warnings
test (coq-8.14.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.689980 sec)
test (coq-8.14.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.684648 sec)
test (coq-8.14.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.673325 sec)
test (coq-8.14.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.682643 sec)
test (coq-8.20.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.845800 sec)
test (coq-8.20.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.833180 sec)
test (coq-8.20.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.819996 sec)
test (coq-8.20.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.821671 sec)
test (coq-9.0.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.296501 sec)
test (coq-9.0.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.299235 sec)
test (coq-9.0.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.292493 sec)
test (coq-9.0.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.299815 sec)
test (coq-8.11.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.624900 sec)
test (coq-8.11.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.619323 sec)
test (coq-8.11.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.607955 sec)
test (coq-8.11.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.617560 sec)
test (coq-8.15.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.708083 sec)
test (coq-8.15.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.716284 sec)
test (coq-8.15.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.724349 sec)
test (coq-8.15.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.715677 sec)
test (coq-8.16.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.696475 sec)
test (coq-8.16.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.686766 sec)
test (coq-8.16.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.685533 sec)
test (coq-8.16.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.693938 sec)
test (coq-8.11.2-emacs-26.3)
failed 10/13 091_coq-test-regression-Fail
test (coq-8.11.2-emacs-26.3)
failed 9/13 090_coq-test-regression-Fail
test (coq-8.11.2-emacs-26.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise
test (coq-8.11.2-emacs-26.3)
failed 2/13 020_coq-test-definition
test (coq-8.14.1-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.865228 sec)
test (coq-8.14.1-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.886552 sec)
test (coq-8.14.1-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.862549 sec)
test (coq-8.14.1-emacs-27.2)
failed 2/13 020_coq-test-definition (0.854538 sec)
test (coq-8.13.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.602778 sec)
test (coq-8.13.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.599690 sec)
test (coq-8.13.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.596857 sec)
test (coq-8.13.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.602495 sec)
test (coq-8.19.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.793868 sec)
test (coq-8.19.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.795244 sec)
test (coq-8.19.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.784481 sec)
test (coq-8.19.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.786557 sec)
test (coq-8.12.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.840169 sec)
test (coq-8.12.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.873388 sec)
test (coq-8.12.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.835203 sec)
test (coq-8.12.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.860614 sec)
test (coq-8.15.2-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.879346 sec)
test (coq-8.15.2-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.883552 sec)
test (coq-8.15.2-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.870063 sec)
test (coq-8.15.2-emacs-28.1)
failed 2/13 020_coq-test-definition (0.869140 sec)
test (coq-8.19.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.007262 sec)
test (coq-8.19.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (1.038981 sec)
test (coq-8.19.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.999058 sec)
test (coq-8.19.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.996033 sec)
test (coq-8.13.2-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.676417 sec)
test (coq-8.13.2-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.656028 sec)
test (coq-8.13.2-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.656260 sec)
test (coq-8.13.2-emacs-27.2)
failed 2/13 020_coq-test-definition (0.654001 sec)
test (coq-8.19.2-emacs-26.3)
failed 10/13 091_coq-test-regression-Fail
test (coq-8.19.2-emacs-26.3)
failed 9/13 090_coq-test-regression-Fail
test (coq-8.19.2-emacs-26.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise
test (coq-8.19.2-emacs-26.3)
failed 2/13 020_coq-test-definition
test (coq-8.19.2-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.995153 sec)
test (coq-8.19.2-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.994627 sec)
test (coq-8.19.2-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.988288 sec)
test (coq-8.19.2-emacs-29.4)
failed 2/13 020_coq-test-definition (0.991785 sec)
test (coq-8.16.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.901283 sec)
test (coq-8.16.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.883770 sec)
test (coq-8.16.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.871538 sec)
test (coq-8.16.1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.885207 sec)
test (coq-8.12.2-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.625077 sec)
test (coq-8.12.2-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.621879 sec)
test (coq-8.12.2-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.627389 sec)
test (coq-8.12.2-emacs-30.1)
failed 2/13 020_coq-test-definition (0.615457 sec)
test (coq-8.19.2-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (1.009229 sec)
test (coq-8.19.2-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.983621 sec)
test (coq-8.19.2-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.982473 sec)
test (coq-8.19.2-emacs-29.3)
failed 2/13 020_coq-test-definition (0.990791 sec)
test (coq-8.20.1-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (1.057000 sec)
test (coq-8.20.1-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (1.029444 sec)
test (coq-8.20.1-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.019986 sec)
test (coq-8.20.1-emacs-27.1)
failed 2/13 020_coq-test-definition (1.019673 sec)
test (coq-8.19.2-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.984571 sec)
test (coq-8.19.2-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.983952 sec)
test (coq-8.19.2-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.011820 sec)
test (coq-8.19.2-emacs-28.2)
failed 2/13 020_coq-test-definition (0.984713 sec)
test (coq-8.15.2-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.913539 sec)
test (coq-8.15.2-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.914126 sec)
test (coq-8.15.2-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.923001 sec)
test (coq-8.15.2-emacs-27.1)
failed 2/13 020_coq-test-definition (0.901739 sec)
test (coq-9.0.0-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.311998 sec)
test (coq-9.0.0-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.284372 sec)
test (coq-9.0.0-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.305729 sec)
test (coq-9.0.0-emacs-28.2)
failed 2/13 020_coq-test-definition (0.309082 sec)
test (coq-9.0.0-emacs-29.4)
failed 10/13 091_coq-test-regression-Fail (0.294299 sec)
test (coq-9.0.0-emacs-29.4)
failed 9/13 090_coq-test-regression-Fail (0.289042 sec)
test (coq-9.0.0-emacs-29.4)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.282252 sec)
test (coq-9.0.0-emacs-29.4)
failed 2/13 020_coq-test-definition (0.294225 sec)
test (coq-9.0.0-emacs-26.3)
failed 10/13 091_coq-test-regression-Fail
test (coq-9.0.0-emacs-26.3)
failed 9/13 090_coq-test-regression-Fail
test (coq-9.0.0-emacs-26.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise
test (coq-9.0.0-emacs-26.3)
failed 2/13 020_coq-test-definition
test (coq-8.18.0-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.945763 sec)
test (coq-8.18.0-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.944123 sec)
test (coq-8.18.0-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.954504 sec)
test (coq-8.18.0-emacs-29.3)
failed 2/13 020_coq-test-definition (0.946668 sec)
test (coq-9.0.0-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.293414 sec)
test (coq-9.0.0-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.290074 sec)
test (coq-9.0.0-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.286030 sec)
test (coq-9.0.0-emacs-29.1)
failed 2/13 020_coq-test-definition (0.291230 sec)
test (coq-9.0.0-emacs-29.2)
failed 10/13 091_coq-test-regression-Fail (0.309313 sec)
test (coq-9.0.0-emacs-29.2)
failed 9/13 090_coq-test-regression-Fail (0.303546 sec)
test (coq-9.0.0-emacs-29.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.296536 sec)
test (coq-9.0.0-emacs-29.2)
failed 2/13 020_coq-test-definition (0.299696 sec)
test (coq-8.17.1-emacs-29.1)
failed 10/13 091_coq-test-regression-Fail (0.858925 sec)
test (coq-8.17.1-emacs-29.1)
failed 9/13 090_coq-test-regression-Fail (0.847527 sec)
test (coq-8.17.1-emacs-29.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.844156 sec)
test (coq-8.17.1-emacs-29.1)
failed 2/13 020_coq-test-definition (0.842349 sec)
test (coq-9.0.0-emacs-28.1)
failed 10/13 091_coq-test-regression-Fail (0.306850 sec)
test (coq-9.0.0-emacs-28.1)
failed 9/13 090_coq-test-regression-Fail (0.286149 sec)
test (coq-9.0.0-emacs-28.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.304935 sec)
test (coq-9.0.0-emacs-28.1)
failed 2/13 020_coq-test-definition (0.309015 sec)
test (coq-8.18.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.838386 sec)
test (coq-8.18.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.836464 sec)
test (coq-8.18.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.833529 sec)
test (coq-8.18.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.921808 sec)
test (coq-9.0.0-emacs-27.1)
failed 10/13 091_coq-test-regression-Fail (0.308201 sec)
test (coq-9.0.0-emacs-27.1)
failed 9/13 090_coq-test-regression-Fail (0.282328 sec)
test (coq-9.0.0-emacs-27.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.278836 sec)
test (coq-9.0.0-emacs-27.1)
failed 2/13 020_coq-test-definition (0.281969 sec)
test (coq-8.17.1-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.675585 sec)
test (coq-8.17.1-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.675659 sec)
test (coq-8.17.1-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.671544 sec)
test (coq-8.17.1-emacs-30.1)
failed 2/13 020_coq-test-definition (0.670663 sec)
test (coq-9.0.0-emacs-30.1)
failed 10/13 091_coq-test-regression-Fail (0.285719 sec)
test (coq-9.0.0-emacs-30.1)
failed 9/13 090_coq-test-regression-Fail (0.290274 sec)
test (coq-9.0.0-emacs-30.1)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.277564 sec)
test (coq-9.0.0-emacs-30.1)
failed 2/13 020_coq-test-definition (0.286639 sec)
test (coq-9.0.0-emacs-27.2)
failed 10/13 091_coq-test-regression-Fail (0.319561 sec)
test (coq-9.0.0-emacs-27.2)
failed 9/13 090_coq-test-regression-Fail (0.298304 sec)
test (coq-9.0.0-emacs-27.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.284467 sec)
test (coq-9.0.0-emacs-27.2)
failed 2/13 020_coq-test-definition (0.298295 sec)
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.777754 sec)
simple-tests (coq-9.0.0-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.291103 sec)
simple-tests (coq-9.0.0-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.290914 sec)
simple-tests (coq-9.0.0-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.293241 sec)
simple-tests (coq-9.0.0-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.287478 sec)
simple-tests (coq-9.0.0-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.289293 sec)
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.286651 sec)
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.790143 sec)
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.769818 sec)
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.296370 sec)
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.291615 sec)
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.289202 sec)
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.287403 sec)
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.292593 sec)
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.288835 sec)
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.847527 sec)
simple-tests (coq-8.12.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.217134 sec)
simple-tests (coq-8.12.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.592615 sec)
simple-tests (coq-8.12.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.593172 sec)
simple-tests (coq-8.12.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.602391 sec)
simple-tests (coq-8.12.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.593302 sec)
simple-tests (coq-8.12.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.607251 sec)
simple-tests (coq-8.12.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.592190 sec)
simple-tests (coq-8.12.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.286804 sec)
test (coq-8.20.1-emacs-28.2)
failed 10/13 091_coq-test-regression-Fail (0.977444 sec)
test (coq-8.20.1-emacs-28.2)
failed 9/13 090_coq-test-regression-Fail (0.972953 sec)
test (coq-8.20.1-emacs-28.2)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.973407 sec)
test (coq-8.20.1-emacs-28.2)
failed 2/13 020_coq-test-definition (0.979681 sec)
test (coq-8.20.1-emacs-26.3)
failed 10/13 091_coq-test-regression-Fail
test (coq-8.20.1-emacs-26.3)
failed 9/13 090_coq-test-regression-Fail
test (coq-8.20.1-emacs-26.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise
test (coq-8.20.1-emacs-26.3)
failed 2/13 020_coq-test-definition
test (coq-8.20.1-emacs-29.3)
failed 10/13 091_coq-test-regression-Fail (0.992199 sec)
test (coq-8.20.1-emacs-29.3)
failed 9/13 090_coq-test-regression-Fail (0.995362 sec)
test (coq-8.20.1-emacs-29.3)
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.982481 sec)
test (coq-8.20.1-emacs-29.3)
failed 2/13 020_coq-test-definition (0.993430 sec)
simple-tests (coq-8.14.1-emacs-27.2)
skipped 22/22 response-buffer-visible-coq-search-something-proof-end (0.000207 sec)
simple-tests (coq-8.14.1-emacs-27.2)
skipped 19/22 response-buffer-visible-coq-search-empty-proof-end (0.000198 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (1.795557 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.886896 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.903107 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.879310 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.887966 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.865269 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.878175 sec)
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (1.741282 sec)
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.991801 sec)
simple-tests (coq-9.0.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.308975 sec)
simple-tests (coq-9.0.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.314348 sec)
simple-tests (coq-9.0.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.302100 sec)
simple-tests (coq-9.0.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.291800 sec)
simple-tests (coq-9.0.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.295959 sec)
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.312764 sec)
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.975901 sec)
simple-tests (coq-9.0.0-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-9.0.0-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
simple-tests (coq-9.0.0-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
simple-tests (coq-9.0.0-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
simple-tests (coq-9.0.0-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
simple-tests (coq-9.0.0-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
simple-tests (coq-9.0.0-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
simple-tests (coq-9.0.0-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.930484 sec)
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.306609 sec)
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.309201 sec)
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.289671 sec)
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.291828 sec)
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.287689 sec)
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.304808 sec)
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.960756 sec)
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.319646 sec)
simple-tests (coq-8.16.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.675786 sec)
simple-tests (coq-8.16.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.669654 sec)
simple-tests (coq-8.16.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.680794 sec)
simple-tests (coq-8.16.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.675474 sec)
simple-tests (coq-8.16.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.676794 sec)
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.672961 sec)
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.410587 sec)
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.517106 sec)
simple-tests (coq-8.18.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.799359 sec)
simple-tests (coq-8.18.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.805623 sec)
simple-tests (coq-8.18.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.806030 sec)
simple-tests (coq-8.18.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.800415 sec)
simple-tests (coq-8.18.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.799809 sec)
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.808482 sec)
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.565609 sec)
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.542812 sec)
simple-tests (coq-8.19.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.804899 sec)
simple-tests (coq-8.19.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.809401 sec)
simple-tests (coq-8.19.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.813231 sec)
simple-tests (coq-8.19.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.805727 sec)
simple-tests (coq-8.19.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.806481 sec)
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.804527 sec)
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.574919 sec)
simple-tests (coq-8.19.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.19.2-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
simple-tests (coq-8.19.2-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
simple-tests (coq-8.19.2-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
simple-tests (coq-8.19.2-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
simple-tests (coq-8.19.2-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
simple-tests (coq-8.19.2-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
simple-tests (coq-8.19.2-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.902045 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.993793 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.006438 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.988055 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.003610 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.985243 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.994574 sec)
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.929220 sec)
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.983770 sec)
simple-tests (coq-9.0.0-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.307380 sec)
simple-tests (coq-9.0.0-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.289084 sec)
simple-tests (coq-9.0.0-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.307677 sec)
simple-tests (coq-9.0.0-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.295981 sec)
simple-tests (coq-9.0.0-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.287918 sec)
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.309497 sec)
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.984036 sec)
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.768413 sec)
simple-tests (coq-9.0.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.286270 sec)
simple-tests (coq-9.0.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.286597 sec)
simple-tests (coq-9.0.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.286625 sec)
simple-tests (coq-9.0.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.286984 sec)
simple-tests (coq-9.0.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.284746 sec)
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.285243 sec)
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.785439 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.740093 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.971665 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.974368 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.985694 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.974444 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.979460 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.983700 sec)
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.757525 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.947898 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.003498 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.020356 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (1.013644 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.017311 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (1.000836 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.019092 sec)
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.979089 sec)
simple-tests (coq-8.11.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.239498 sec)
simple-tests (coq-8.11.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.597987 sec)
simple-tests (coq-8.11.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.596897 sec)
simple-tests (coq-8.11.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.602224 sec)
simple-tests (coq-8.11.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.602107 sec)
simple-tests (coq-8.13.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.235075 sec)
simple-tests (coq-8.11.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.594416 sec)
simple-tests (coq-8.11.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.606282 sec)
simple-tests (coq-8.13.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.603593 sec)
simple-tests (coq-8.11.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.285332 sec)
simple-tests (coq-8.13.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.610040 sec)
simple-tests (coq-8.13.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.601850 sec)
simple-tests (coq-8.13.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.605042 sec)
simple-tests (coq-8.13.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.606796 sec)
simple-tests (coq-8.13.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.602139 sec)
simple-tests (coq-8.13.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.307871 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.971643 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.990914 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.998758 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.995221 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.002032 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.985020 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.993854 sec)
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.932367 sec)
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.972413 sec)
simple-tests (coq-9.0.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.298747 sec)
simple-tests (coq-9.0.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.284516 sec)
simple-tests (coq-9.0.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.300597 sec)
simple-tests (coq-9.0.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.302211 sec)
simple-tests (coq-9.0.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.291568 sec)
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.299188 sec)
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.933786 sec)
simple-tests (coq-8.14.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.341792 sec)
simple-tests (coq-8.14.1-emacs-30.1)
skipped 22/22 response-buffer-visible-coq-search-something-proof-end (0.000148 sec)
simple-tests (coq-8.14.1-emacs-30.1)
skipped 19/22 response-buffer-visible-coq-search-empty-proof-end (0.000147 sec)
simple-tests (coq-8.14.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.682521 sec)
simple-tests (coq-8.14.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.682506 sec)
simple-tests (coq-8.14.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.693904 sec)
simple-tests (coq-8.14.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.686104 sec)
simple-tests (coq-8.14.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.676914 sec)
simple-tests (coq-8.14.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.677595 sec)
simple-tests (coq-8.14.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.410551 sec)
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.339074 sec)
simple-tests (coq-8.15.2-emacs-30.1)
skipped 22/22 response-buffer-visible-coq-search-something-proof-end (0.000190 sec)
simple-tests (coq-8.15.2-emacs-30.1)
skipped 19/22 response-buffer-visible-coq-search-empty-proof-end (0.000170 sec)
simple-tests (coq-8.15.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.677676 sec)
simple-tests (coq-8.15.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.679709 sec)
simple-tests (coq-8.15.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.682670 sec)
simple-tests (coq-8.15.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.670479 sec)
simple-tests (coq-8.15.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.669718 sec)
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.667311 sec)
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.387318 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.732904 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.967018 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.962309 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.963732 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.978686 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.960766 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.964805 sec)
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.772797 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.975761 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.998008 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.018177 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.991020 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.005122 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.996844 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.009126 sec)
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.946386 sec)
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.322439 sec)
simple-tests (coq-8.17.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.680049 sec)
simple-tests (coq-8.17.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.680234 sec)
simple-tests (coq-8.17.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.682217 sec)
simple-tests (coq-8.17.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.675799 sec)
simple-tests (coq-8.17.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.685626 sec)
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.671807 sec)
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.382791 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.691426 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.854357 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.855783 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.830561 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.849479 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.833622 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.844980 sec)
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.674372 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (1.507062 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.663209 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.676266 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.671890 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.671552 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.655587 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.666209 sec)
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/8 comment-definition-process-undo (1.465452 sec)
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.792848 sec)
simple-tests (coq-9.0.0-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.300213 sec)
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.293372 sec)
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.296387 sec)
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.299271 sec)
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.297943 sec)
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.294227 sec)
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.800875 sec)
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.781493 sec)
simple-tests (coq-9.0.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.288198 sec)
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.288854 sec)
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.288021 sec)
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.291409 sec)
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.287256 sec)
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.290522 sec)
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.787542 sec)
simple-tests (coq-8.20.1-emacs-30.1)
FAILED 1/1 test-coq-par-job-needs-compilation-quick (22.472509 sec) at coq-test-par-job-needs-compilation-quick.el:983
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.812365 sec)
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.808848 sec)
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.817284 sec)
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.819143 sec)
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.806864 sec)
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.807481 sec)
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.586893 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.721850 sec)
simple-tests (coq-8.15.2-emacs-27.1)
skipped 22/22 response-buffer-visible-coq-search-something-proof-end (0.000155 sec)
simple-tests (coq-8.15.2-emacs-27.1)
skipped 19/22 response-buffer-visible-coq-search-empty-proof-end (0.000241 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.873788 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.884919 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.875472 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.880839 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.875268 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.882170 sec)
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.752930 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (1.613866 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.853971 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.856326 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.851607 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.846136 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.850530 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.850563 sec)
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (1.592653 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.806302 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.989473 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.989458 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.003727 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.990567 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.992934 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.990905 sec)
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.804731 sec)
simple-tests (coq-8.11.2-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
simple-tests (coq-8.11.2-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
simple-tests (coq-8.11.2-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
simple-tests (coq-8.11.2-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
simple-tests (coq-8.11.2-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
simple-tests (coq-8.11.2-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.787668 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.977910 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.985768 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.978891 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.982029 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.964174 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.973521 sec)
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.773234 sec)
simple-tests (coq-8.20.1-emacs-26.3)
failed 1/2 proof-check-correct-stat
simple-tests (coq-8.20.1-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
simple-tests (coq-8.20.1-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
simple-tests (coq-8.20.1-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
simple-tests (coq-8.20.1-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
simple-tests (coq-8.20.1-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
simple-tests (coq-8.20.1-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
simple-tests (coq-8.20.1-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/2 proof-check-correct-stat (1.818312 sec)
simple-tests (coq-8.15.2-emacs-28.1)
skipped 22/22 response-buffer-visible-coq-search-something-proof-end (0.000161 sec)
simple-tests (coq-8.15.2-emacs-28.1)
skipped 19/22 response-buffer-visible-coq-search-empty-proof-end (0.000170 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.913287 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.914035 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.891920 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.900894 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.875096 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.892865 sec)
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.817274 sec)
test (coq-8.14.1-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-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.11.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.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.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.13.2-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-8.12.2-emacs-27.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.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.12.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.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
test (coq-8.19.2-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
compile-tests (coq-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.11.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-9.0.0-emacs-26.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.12.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-9.0.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.16.1-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-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-9.0.0-emacs-29.4)
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.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
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.18.0-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
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-29.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
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-26.3)
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-9.0.0-emacs-29.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
test (coq-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.14.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.13.2-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
compile-tests (coq-8.20.1-emacs-28.2)
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-9.0.0-emacs-27.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
compile-tests (coq-8.15.2-emacs-27.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-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.12.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
test (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.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.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-27.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-8.18.0-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.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-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-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.11.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.13.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.14.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.15.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-9.0.0-emacs-29.4)
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.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
simple-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
compile-tests (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config