Merge pull request #852 from rswarbrick/proof-format-match-limits #876
Matafoutest.yml
on: push
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
484 errors and 111 warnings
|
test (coq-9.0.0-emacs-27.2)
failed 10/14 091_coq-test-regression-Fail (0.229122 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 9/14 090_coq-test-regression-Fail (0.247568 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.224343 sec)
|
|
test (coq-9.0.0-emacs-27.2)
failed 2/14 020_coq-test-definition (0.215722 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 10/14 091_coq-test-regression-Fail (0.316201 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 9/14 090_coq-test-regression-Fail (0.293066 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.282356 sec)
|
|
test (coq-9.0.0-emacs-28.1)
failed 2/14 020_coq-test-definition (0.287123 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.842828 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.843370 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.839849 sec)
|
|
test (coq-8.18.0-emacs-30.1)
failed 2/14 020_coq-test-definition (0.841578 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.819052 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.817225 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.818300 sec)
|
|
test (coq-8.19.2-emacs-30.1)
failed 2/14 020_coq-test-definition (0.820983 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 10/14 091_coq-test-regression-Fail (0.192467 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 9/14 090_coq-test-regression-Fail (0.166666 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.164338 sec)
|
|
test (coq-9.1-rc1-emacs-27.2)
failed 2/14 020_coq-test-definition (0.169596 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (0.908424 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (0.917012 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.898028 sec)
|
|
test (coq-8.16.1-emacs-28.2)
failed 2/14 020_coq-test-definition (0.892814 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (1.022035 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.991219 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.991988 sec)
|
|
test (coq-8.19.2-emacs-27.1)
failed 2/14 020_coq-test-definition (0.993045 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (1.013704 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (1.009038 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.002925 sec)
|
|
test (coq-8.19.2-emacs-29.3)
failed 2/14 020_coq-test-definition (0.996858 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 10/14 091_coq-test-regression-Fail (0.883025 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 9/14 090_coq-test-regression-Fail (0.914895 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.878925 sec)
|
|
test (coq-8.15.2-emacs-28.1)
failed 2/14 020_coq-test-definition (0.883514 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 10/14 091_coq-test-regression-Fail (0.866460 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 9/14 090_coq-test-regression-Fail (0.862314 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.860014 sec)
|
|
test (coq-8.17.1-emacs-29.1)
failed 2/14 020_coq-test-definition (0.872376 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.816077 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.290937 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.311063 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.301141 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.305135 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.302532 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.301916 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.300327 sec)
|
|
simple-tests (coq-9.0.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.897146 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.564347 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.803771 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.825253 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.820281 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.825560 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.823846 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.825269 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.817295 sec)
|
|
simple-tests (coq-8.19.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.620002 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.266831 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (5.752667 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.631629 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.635266 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.636481 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.614686 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.648220 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.624396 sec)
|
|
simple-tests (coq-8.20.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.314519 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.579742 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.827496 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.834008 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.826053 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.830795 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.832775 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.821088 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.826457 sec)
|
|
simple-tests (coq-8.18.0-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.658218 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.393327 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.680896 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.705442 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.703580 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.697372 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.693091 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.713215 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.712087 sec)
|
|
simple-tests (coq-8.16.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.465170 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000192 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000136 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.705528 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.714028 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.711856 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.707494 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.706812 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.701283 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.707550 sec)
|
|
simple-tests (coq-8.15.2-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.495507 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.644012 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (63.784472 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.174197 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.172765 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.172009 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.174204 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.173434 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.174213 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.655658 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.975768 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (68.748630 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.370859 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.349629 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.322042 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.340312 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.323854 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.333894 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.994191 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 10/14 091_coq-test-regression-Fail (0.174416 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 9/14 090_coq-test-regression-Fail (0.173131 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.168889 sec)
|
|
test (coq-9.1-rc1-emacs-29.4)
failed 2/14 020_coq-test-definition (0.177447 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000136 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000150 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (59.599825 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.744424 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.761516 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.747664 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.765459 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.757728 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.763788 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.599109 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (0.322592 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (0.291586 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.290234 sec)
|
|
test (coq-9.0.0-emacs-28.2)
failed 2/14 020_coq-test-definition (0.292490 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (0.202097 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.176368 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.170640 sec)
|
|
test (coq-9.1-rc1-emacs-27.1)
failed 2/14 020_coq-test-definition (0.176243 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 10/14 091_coq-test-regression-Fail (0.291060 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 9/14 090_coq-test-regression-Fail (0.288670 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.284685 sec)
|
|
test (coq-9.0.0-emacs-29.2)
failed 2/14 020_coq-test-definition (0.289122 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 10/14 091_coq-test-regression-Fail (0.179004 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 9/14 090_coq-test-regression-Fail (0.177522 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.174151 sec)
|
|
test (coq-9.1-rc1-emacs-29.2)
failed 2/14 020_coq-test-definition (0.183249 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 25/26 response-buffer-visible-coq-search-something-proof-end (0.000220 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 22/26 response-buffer-visible-coq-search-empty-proof-end (0.000170 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (60.913072 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.796863 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.861838 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.798825 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.806782 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.787728 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.804517 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.657802 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (1.007925 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (1.028272 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.004364 sec)
|
|
test (coq-8.20.1-emacs-28.2)
failed 2/14 020_coq-test-definition (1.000623 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.997606 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (57.723892 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.311189 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.301817 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.311735 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.308378 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.296584 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.310589 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.013791 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/2 proof-check-correct-stat (0.878370 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/26 extend-queue-during-long-running-show (55.991070 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.196649 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.174382 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.191632 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.193161 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.178218 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.196560 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.877795 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.805540 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (59.863233 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (1.012213 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (1.000778 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (1.004376 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.997378 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.994555 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.989309 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.794912 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.837517 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (70.163330 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.188522 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.187668 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.170484 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.179045 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.177044 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.187173 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.816423 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (0.199563 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (0.171725 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.166111 sec)
|
|
test (coq-9.1-rc1-emacs-28.2)
failed 2/14 020_coq-test-definition (0.174354 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/2 proof-check-correct-stat (0.783648 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (64.959363 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.292390 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.295209 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.289694 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.291589 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.292782 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.295691 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.789292 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (0.310302 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (0.305815 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.300979 sec)
|
|
test (coq-9.0.0-emacs-29.3)
failed 2/14 020_coq-test-definition (0.303539 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/2 proof-check-correct-stat (0.792763 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (55.387847 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.183055 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.169359 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.182512 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.182392 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.168050 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.185168 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.790314 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.681723 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.685202 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.677741 sec)
|
|
test (coq-8.17.1-emacs-30.1)
failed 2/14 020_coq-test-definition (0.680145 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.966005 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (68.973120 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (1.002299 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.009490 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.993333 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.004399 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.993942 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.007004 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.950832 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.292898 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.291668 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.290194 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 2/14 020_coq-test-definition (0.290346 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.819274 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.823752 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.820772 sec)
|
|
test (coq-8.20.1-emacs-30.1)
failed 2/14 020_coq-test-definition (0.820009 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.979106 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (65.651482 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.030515 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.054652 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (1.037950 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.053250 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (1.046408 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.064786 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (2.007719 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (0.319603 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.290990 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.294626 sec)
|
|
test (coq-9.0.0-emacs-27.1)
failed 2/14 020_coq-test-definition (0.288460 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (0.921571 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.882603 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.885589 sec)
|
|
test (coq-8.15.2-emacs-27.1)
failed 2/14 020_coq-test-definition (0.888965 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.677818 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.671939 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.686256 sec)
|
|
test (coq-8.15.2-emacs-30.1)
failed 2/14 020_coq-test-definition (0.682661 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.767276 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (64.975029 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.880028 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.894624 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.874012 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.884433 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.873092 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.881918 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.786432 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (0.949085 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (0.954772 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.941648 sec)
|
|
test (coq-8.18.0-emacs-29.3)
failed 2/14 020_coq-test-definition (0.958783 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 10/14 091_coq-test-regression-Fail (0.991383 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 9/14 090_coq-test-regression-Fail (0.985094 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.986647 sec)
|
|
test (coq-8.19.2-emacs-29.4)
failed 2/14 020_coq-test-definition (0.987639 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 10/14 091_coq-test-regression-Fail (0.229637 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 9/14 090_coq-test-regression-Fail (0.227709 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.225167 sec)
|
|
test (coq-9.0.0-emacs-29.1)
failed 2/14 020_coq-test-definition (0.226706 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/2 proof-check-correct-stat (1.573770 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/26 extend-queue-during-long-running-show (60.981132 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.848948 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.850598 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.857257 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.845139 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.848258 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.845813 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (1.576004 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 10/14 091_coq-test-regression-Fail (0.789684 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 9/14 090_coq-test-regression-Fail (0.769325 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.778492 sec)
|
|
test (coq-8.20.1-emacs-27.1)
failed 2/14 020_coq-test-definition (0.764324 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 10/14 091_coq-test-regression-Fail (0.296649 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 9/14 090_coq-test-regression-Fail (0.293359 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.294197 sec)
|
|
test (coq-9.0.0-emacs-29.4)
failed 2/14 020_coq-test-definition (0.297309 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 10/14 091_coq-test-regression-Fail (0.184612 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 9/14 090_coq-test-regression-Fail (0.184841 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.177581 sec)
|
|
test (coq-9.1-rc1-emacs-29.1)
failed 2/14 020_coq-test-definition (0.185690 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.178843 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.176424 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.173158 sec)
|
|
test (coq-9.1-rc1-emacs-30.1)
failed 2/14 020_coq-test-definition (0.177613 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 10/14 091_coq-test-regression-Fail (0.204393 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 9/14 090_coq-test-regression-Fail (0.172831 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.175195 sec)
|
|
test (coq-9.1-rc1-emacs-28.1)
failed 2/14 020_coq-test-definition (0.173588 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (0.178772 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (0.177880 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.178247 sec)
|
|
test (coq-9.1-rc1-emacs-29.3)
failed 2/14 020_coq-test-definition (0.191035 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 10/14 091_coq-test-regression-Fail (1.008639 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 9/14 090_coq-test-regression-Fail (1.016588 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.995801 sec)
|
|
test (coq-8.20.1-emacs-29.4)
failed 2/14 020_coq-test-definition (1.044833 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/2 proof-check-correct-stat (0.630013 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.137468 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.171675 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.170356 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.171896 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.170994 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.173793 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.174032 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-30.1)
failed 1/8 comment-definition-process-undo (0.711161 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.024041 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (55.676498 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.304906 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.288247 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.303158 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.305921 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.286513 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.302207 sec)
|
|
simple-tests (coq-9.0.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.928670 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/2 proof-check-correct-stat (1.355480 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/26 extend-queue-during-long-running-show (6.679300 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 8/8 yank-comment-end-in-processed-comment (0.692423 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 7/8 undo-kill-from-comment-to-comment (0.694944 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.689428 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 5/8 undo-breaks-up-nested-comment (0.694659 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 4/8 kill-from-comment-to-next-comment (0.691139 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.692882 sec)
|
|
simple-tests (coq-8.17.1-emacs-30.1)
failed 1/8 comment-definition-process-undo (1.438632 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.793416 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (66.000966 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.295428 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.306840 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.303560 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.295692 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.295106 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301896 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.812740 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.653146 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (62.559786 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.180948 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.181596 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.178877 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.193634 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.181561 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.184014 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.673845 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.910880 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (66.359769 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.303042 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.305199 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.286524 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.297891 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.291675 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.298279 sec)
|
|
simple-tests (coq-9.0.0-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.928574 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.638846 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (61.701456 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.180301 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.170373 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.170964 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.169666 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.169927 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.169973 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.652342 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.825067 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (59.515610 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.013552 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.020378 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.041989 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.026715 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.020985 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.010367 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.854067 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 10/14 091_coq-test-regression-Fail (1.023922 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 9/14 090_coq-test-regression-Fail (1.058941 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.009257 sec)
|
|
test (coq-8.19.2-emacs-28.2)
failed 2/14 020_coq-test-definition (1.009106 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.661889 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (62.729130 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.176356 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.182296 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.176176 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.175321 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.177691 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.177829 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.664150 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 10/14 091_coq-test-regression-Fail (1.026748 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 9/14 090_coq-test-regression-Fail (1.005200 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 7/14 080_coq-test-regression-show-proof-stepwise (1.011651 sec)
|
|
test (coq-8.20.1-emacs-29.3)
failed 2/14 020_coq-test-definition (1.015262 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.753462 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (61.054878 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.968206 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.968909 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.977006 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.975777 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.970608 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.964086 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.780579 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/2 proof-check-correct-stat (0.778835 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/26 extend-queue-during-long-running-show (66.267879 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.300741 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.291763 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.291642 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.291691 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.291750 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.294744 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.796786 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.684050 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.681158 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.674016 sec)
|
|
test (coq-8.16.1-emacs-30.1)
failed 2/14 020_coq-test-definition (0.677703 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/2 proof-check-correct-stat (0.793187 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (66.900926 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.296365 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.297055 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.300157 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.303715 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.300716 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.299924 sec)
|
|
simple-tests (coq-9.0.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.812389 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (1.836342 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/26 extend-queue-during-long-running-show (65.588567 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (1.027288 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (1.017706 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (1.005853 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (1.021619 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (1.024525 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (1.013513 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (1.836486 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.779375 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/26 extend-queue-during-long-running-show (65.762151 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.187172 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.191583 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.172276 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.172987 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.172548 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.187484 sec)
|
|
simple-tests (coq-9.1-rc1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.801856 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/2 proof-check-correct-stat (1.946421 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/26 extend-queue-during-long-running-show (60.988948 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (1.000348 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (1.023882 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (1.003088 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (1.026155 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.998277 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (1.013254 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (2.013760 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/2 proof-check-correct-stat (1.806788 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/26 extend-queue-during-long-running-show (58.031002 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (1.023476 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (1.022567 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (1.012047 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (1.011074 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (1.009890 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (1.010815 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (1.802451 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.951889 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/26 extend-queue-during-long-running-show (66.755476 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (1.014079 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (1.031401 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (1.010876 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (1.041731 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (1.026380 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (1.032333 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (2.038821 sec)
|
|
test (coq-9.0.0-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-27.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-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-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.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-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-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-28.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.1-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (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.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-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
|
|
test (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.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
|
|
simple-tests (coq-9.1-rc1-emacs-28.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
|
|
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-29.4)
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
|
|
simple-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-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.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.1-rc1-emacs-28.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-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.2)
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-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
|
|
compile-tests (coq-8.18.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.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.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
|
|
simple-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.1-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.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
|
|
test (coq-8.16.1-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0.0-emacs-29.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-9.1-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.1-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0.0-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
|
|
simple-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.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
|
|
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.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|