CI: add Coq 9.0+rc1 #763
hendriktewstest.yml
on: pull_request
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
430 errors and 129 warnings
|
simple-tests (coq-8.11.2-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-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)
failed 4/8 kill-from-comment-to-next-comment
|
|
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 6/8 undo-comment-spanning-over-two-comments
|
|
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 8/8 yank-comment-end-in-processed-comment
|
|
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 1/13 goals-after-auto
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.838715 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.168630 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.166962 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.181532 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.172366 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.178877 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.168700 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.809513 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.322874 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.172872 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.611359 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.148668 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.148911 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.149700 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.149373 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.157327 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.148840 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.612592 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.218081 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.157792 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.638504 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.165756 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.169661 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.164814 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.163091 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.165217 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.165510 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.647011 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.239782 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.168858 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.820638 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.177896 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.176907 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.192896 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.178634 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.192775 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.178816 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.794331 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.324402 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.779474 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.183930 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.141451 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.143866 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.158211 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.142417 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.164992 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.142230 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.747078 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.273069 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.140564 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.608722 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.143583 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.658849 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.184275 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.144695 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.184131 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.142403 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.181445 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.148381 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.183695 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.149398 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.181574 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.181058 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.144398 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.658734 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.608877 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.254698 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.215967 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.182877 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.143818 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.849632 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.183511 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.182360 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.195054 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.181984 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.195783 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.188915 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.310987 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.181312 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.201571 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.667941 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.187881 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.181726 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.181447 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.182023 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.180396 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.189724 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.249843 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.181206 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.187683 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.673808 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.185145 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.187649 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.184378 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.183427 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.185425 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.183743 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.250852 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.863850 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.182004 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.181888 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.184030 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.196764 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.185615 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.197045 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.182438 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.199487 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.305354 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.203789 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.195028 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.805671 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.177754 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.189892 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.176872 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.190053 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.176100 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.198820 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.298537 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.190994 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.180198 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.671473 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.180967 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.182083 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.197558 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.182814 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.182050 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.180363 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.249597 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.184647 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.184914 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.971218 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.289536 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.304595 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.300233 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.290851 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.301457 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.292439 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.414219 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.288472 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.303738 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.690949 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.186656 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.185281 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.186507 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.186630 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.185683 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.186867 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.259116 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.184247 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.191497 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.004778 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.296843 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.310243 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.291198 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.307070 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.297012 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.307337 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.421988 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.307547 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.293496 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.826913 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.292441 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.305474 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.304863 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.293544 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.300073 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.294226 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.359752 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.291114 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.298805 sec)
|
|
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-26.3)
skipped 3/8 insert-only-comment-end-in-processed-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)
failed 5/8 undo-breaks-up-nested-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 7/8 undo-kill-from-comment-to-comment
|
|
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 1/13 goals-after-auto
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.997546 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.307382 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.307622 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.315961 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.303131 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.314641 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.306459 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.438149 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.306227 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.317048 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.837544 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.300455 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.301204 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.302609 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.296975 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.295587 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.297792 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.359376 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.294600 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.325564 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.989197 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.307293 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.313564 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.299144 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.317823 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.301474 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.338179 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.454413 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.323253 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.301764 sec)
|
|
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 1/13 goals-after-auto
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.975317 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.304972 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.301596 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.311442 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.299211 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.315291 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.300052 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/13 goals-after-auto (0.416798 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 2/13 goals-after-comment (0.300481 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/13 goals-after-error (0.315926 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.976127 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.310386 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.305351 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.990223 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.323044 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.315853 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.302965 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.321628 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.304196 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.317644 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.319074 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.310662 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.309655 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/13 goals-after-auto (0.419703 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.329255 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 2/13 goals-after-comment (0.303380 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/13 goals-after-auto (0.430097 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/13 goals-after-error (0.325129 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 2/13 goals-after-comment (0.320605 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/13 goals-after-error (0.304570 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.976131 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301702 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.315649 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.302709 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.316101 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.303272 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.316949 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.851412 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/13 goals-after-auto (0.418439 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.310636 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 2/13 goals-after-comment (0.314546 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.311533 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/13 goals-after-error (0.309523 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.311147 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.308359 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.313189 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.310681 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/13 goals-after-auto (0.377173 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 2/13 goals-after-comment (0.308437 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/13 goals-after-error (0.312024 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.835011 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.870136 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.305318 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.331395 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.300584 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.323125 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.299972 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.314414 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.301694 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.321356 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.309385 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.312944 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.299688 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.317397 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/13 goals-after-auto (0.368417 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 2/13 goals-after-comment (0.301866 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/13 goals-after-auto (0.387627 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/13 goals-after-error (0.301515 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 2/13 goals-after-comment (0.314171 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/13 goals-after-error (0.313760 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.887654 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.239451 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.237591 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.251226 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.238894 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.253540 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.239713 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 1/13 goals-after-auto (0.373710 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 2/13 goals-after-comment (0.244316 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 3/13 goals-after-error (0.253263 sec)
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.974502 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.244944 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.259215 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.264017 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.249776 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.265604 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.245110 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 1/13 goals-after-auto (0.410619 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 2/13 goals-after-comment (0.244513 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 3/13 goals-after-error (0.263390 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.834772 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301146 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.308917 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.298965 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.301166 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.299754 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.301386 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/13 goals-after-auto (0.366321 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 2/13 goals-after-comment (0.298990 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/13 goals-after-error (0.301936 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.736671 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.238025 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.237477 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.237829 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.238035 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.237648 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.239107 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 1/13 goals-after-auto (0.302954 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 2/13 goals-after-comment (0.237111 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 3/13 goals-after-error (0.237979 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.878030 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.235359 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.262135 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.236973 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.247909 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.235676 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.257895 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 1/13 goals-after-auto (0.353219 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 2/13 goals-after-comment (0.249357 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 3/13 goals-after-error (0.237546 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.946902 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.244143 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.258484 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.241332 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.255755 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.239933 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.258177 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 1/13 goals-after-auto (0.391185 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 2/13 goals-after-comment (0.260114 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 3/13 goals-after-error (0.246394 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.747706 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.238607 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.243023 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.242241 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.240572 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.238376 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.237267 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 1/13 goals-after-auto (0.303693 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 2/13 goals-after-comment (0.237232 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 3/13 goals-after-error (0.239935 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.743886 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.239243 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.240349 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.238366 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.240076 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.243619 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.238866 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 1/13 goals-after-auto (0.331001 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 2/13 goals-after-comment (0.248121 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 3/13 goals-after-error (0.242885 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.751183 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.237337 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.233798 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.234297 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.234400 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.237586 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.237091 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 1/13 goals-after-auto (0.299644 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 2/13 goals-after-comment (0.235098 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 3/13 goals-after-error (0.238289 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.837492 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.297905 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.295838 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.290787 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.290891 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.293369 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.291956 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/13 goals-after-auto (0.359287 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 2/13 goals-after-comment (0.293313 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/13 goals-after-error (0.295743 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.829271 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.293604 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.293837 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.291399 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.296253 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.297302 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.293825 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.357684 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.293334 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.297506 sec)
|
|
test (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.2-emacs-29.4)
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.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.13.2-emacs-29.4)
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.14.1-emacs-29.4)
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.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-29.4)
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.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-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.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-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-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.4)
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.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-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.20.1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.11.2-emacs-29.4)
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-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.12.2-emacs-29.4)
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-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.14.1-emacs-29.4)
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.15.2-emacs-28.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
|
|
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.15.2-emacs-29.4)
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.16.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-29.4)
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.19.2-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.4)
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-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-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-9.0-rc-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-emacs-29.4)
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.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.12.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-8.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-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
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-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
|
|
simple-tests (coq-8.18.0-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.4)
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-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.19.2-emacs-28.2)
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.20.1-emacs-27.2)
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-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.1)
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-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-emacs-26.3)
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.0-rc-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-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-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|