CI: add Coq 9.0+rc1 #266
hendriktewstest.yml
on: push
Matrix: build
Matrix: check-doc-magic
Matrix: compile-tests
Matrix: simple-tests
Matrix: test-indent
Matrix: test-qrhl
Matrix: test
Annotations
430 errors and 129 warnings
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.610230 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.151042 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.153166 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.149964 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.152744 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.152645 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.158389 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.619277 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.225658 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.162172 sec)
|
|
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.760820 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.163720 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.162673 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.177480 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.160394 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.176169 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.161139 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.746797 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.285453 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.164166 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.745953 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.143634 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.145242 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.162867 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.143316 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.160410 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.143439 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.746827 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.256434 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.137303 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.625876 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.159708 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.159657 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.170600 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.161791 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.156935 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.166969 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.620723 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.230258 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.161788 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.769989 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.176265 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.177528 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.189045 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.175232 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.191779 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.177605 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.751136 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.295229 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.181407 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.601658 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.143213 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.141734 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.140673 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.142289 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.142946 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.141609 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.598988 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.213150 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.144174 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.659058 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.181713 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.179087 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.178124 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.179148 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.179682 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.177795 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.646664 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.249584 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.180237 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.797693 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.181380 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.193482 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.178909 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.192657 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.177433 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.191975 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.301836 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.196216 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.184473 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.870281 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.187044 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.185334 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.205673 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.185415 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.201586 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.185837 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.329874 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.187191 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.199780 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.809778 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.181667 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.200298 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.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.180309 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.193189 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.182157 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.195220 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.304986 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.194066 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.182183 sec)
|
|
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.16.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.703160 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.191467 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.197658 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.190992 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.189211 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.191908 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.189883 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.266654 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.190601 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.190890 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.967664 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.295288 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.308939 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.289519 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.303610 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.287818 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.306110 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.424331 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.303250 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.297949 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.677579 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.186453 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.185997 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.181529 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.184401 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.183761 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.183045 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.256986 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.184061 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.189307 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.679604 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.179468 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.186110 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.193937 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.180424 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.180065 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.187800 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.247414 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.184347 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.185717 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.673957 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.181891 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.185909 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.191573 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.184144 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.182745 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.184966 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.251144 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.181821 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.182734 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.962235 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.293464 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.292410 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.303333 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.289096 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.318349 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.292467 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.413016 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.290288 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.315622 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.832978 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.296427 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.300217 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.293965 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.290952 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.293250 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.294203 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/13 goals-after-auto (0.358297 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 2/13 goals-after-comment (0.294432 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/13 goals-after-error (0.307087 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.832058 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.295091 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.304843 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.298367 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.294772 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.300271 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.295238 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.375613 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.292741 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.301773 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.842932 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301020 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.300542 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.295891 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.296638 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.297256 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.296598 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.362850 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.294849 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.304015 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.019416 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.304447 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.320405 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.301844 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.324085 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.302388 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.314397 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.443738 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.324020 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.305091 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.960348 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.296025 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.298967 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.321568 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.301978 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.315739 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.298877 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.420311 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.298030 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.319017 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.856467 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.306318 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.307560 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.310955 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.317503 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.315015 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.315162 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.380163 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.310930 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.317992 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.20.1-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 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.972423 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.304846 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.303984 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.322700 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.306430 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.319939 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.308258 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/13 goals-after-auto (0.418979 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 2/13 goals-after-comment (0.301406 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/13 goals-after-error (0.319939 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-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
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-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
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-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
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-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-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.971490 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.304051 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.308851 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.315476 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.299224 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.312363 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.301499 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/13 goals-after-auto (0.416567 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 2/13 goals-after-comment (0.299412 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/13 goals-after-error (0.315689 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.877053 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.239480 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.239809 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.250563 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.237875 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.252132 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.237750 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 1/13 goals-after-auto (0.354110 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 2/13 goals-after-comment (0.236683 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.2)
failed 3/13 goals-after-error (0.253599 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.831642 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.303016 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.301656 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.301815 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.302193 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.315773 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.301509 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/13 goals-after-auto (0.369997 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 2/13 goals-after-comment (0.304149 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/13 goals-after-error (0.303307 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.996419 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.311240 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.317432 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.304842 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.321810 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.313211 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.318598 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/13 goals-after-auto (0.434419 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 2/13 goals-after-comment (0.324655 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/13 goals-after-error (0.308198 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.841721 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.304840 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.302394 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.303965 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.306780 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.309484 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.304225 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/13 goals-after-auto (0.372180 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 2/13 goals-after-comment (0.312329 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/13 goals-after-error (0.305533 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.939557 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.248839 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.249591 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.264341 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.247662 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.264630 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.243461 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 1/13 goals-after-auto (0.382591 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 2/13 goals-after-comment (0.242369 sec)
|
|
simple-tests (coq-9.0-rc-emacs-27.1)
failed 3/13 goals-after-error (0.260140 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.973428 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301823 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.314989 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.299908 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.321715 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.298889 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.316312 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/13 goals-after-auto (0.419220 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 2/13 goals-after-comment (0.315028 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/13 goals-after-error (0.306915 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.763109 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.248782 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.253394 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.243550 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.242533 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.244292 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.247199 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 1/13 goals-after-auto (0.314060 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 2/13 goals-after-comment (0.243505 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.1)
failed 3/13 goals-after-error (0.245989 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.849634 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.306533 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.316720 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.311150 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.304262 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.311461 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.307005 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/13 goals-after-auto (0.380881 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 2/13 goals-after-comment (0.308331 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/13 goals-after-error (0.311872 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.840061 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.306599 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.306823 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.303595 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.305129 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.319962 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.309779 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/13 goals-after-auto (0.373114 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 2/13 goals-after-comment (0.306886 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/13 goals-after-error (0.308303 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.974422 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.251338 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.256587 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.243834 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.260503 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.241949 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.257967 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 1/13 goals-after-auto (0.392691 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 2/13 goals-after-comment (0.254905 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
failed 3/13 goals-after-error (0.246649 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.927053 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.242172 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.253110 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.238390 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.252163 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.238930 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.254208 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 1/13 goals-after-auto (0.375477 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 2/13 goals-after-comment (0.260093 sec)
|
|
simple-tests (coq-9.0-rc-emacs-28.2)
failed 3/13 goals-after-error (0.241879 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.744373 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.242797 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.240515 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.241700 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.243452 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.238913 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.244715 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 1/13 goals-after-auto (0.306426 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 2/13 goals-after-comment (0.242066 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.2)
failed 3/13 goals-after-error (0.242505 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.771303 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.245590 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.246671 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.247629 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.243631 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.249795 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.242159 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 1/13 goals-after-auto (0.317638 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 2/13 goals-after-comment (0.245845 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.4)
failed 3/13 goals-after-error (0.249341 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.750470 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.244205 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.243229 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.241357 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.241284 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.244774 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.241945 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 1/13 goals-after-auto (0.315317 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 2/13 goals-after-comment (0.247538 sec)
|
|
simple-tests (coq-9.0-rc-emacs-29.3)
failed 3/13 goals-after-error (0.252123 sec)
|
|
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.13.2-emacs-27.2)
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-29.4)
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.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.16.1-emacs-29.4)
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.18.0-emacs-26.3)
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.15.2-emacs-27.1)
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.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.17.1-emacs-29.4)
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-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.20.1-emacs-27.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.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc-emacs-26.3)
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-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.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-28.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
|
|
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-29.4)
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-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.12.2-emacs-27.1)
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
|
|
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.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-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.16.1-emacs-28.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
|
|
compile-tests (coq-9.0-rc-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.15.2-emacs-28.1)
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.18.0-emacs-28.2)
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.17.1-emacs-29.4)
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-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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.4)
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
|
|
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-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-26.3)
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.20.1-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-27.2)
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-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-28.2)
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-8.20.1-emacs-28.1)
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-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.2-emacs-29.4)
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.13.2-emacs-27.2)
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.13.2-emacs-29.4)
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.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.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-26.3)
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.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-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.18.0-emacs-27.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
|
|
test (coq-8.16.1-emacs-29.4)
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.18.0-emacs-28.2)
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.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-28.2)
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-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-27.2)
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-9.0-rc-emacs-26.3)
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-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-8.20.1-emacs-27.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-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.2)
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-9.0-rc-emacs-28.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
|
|
test (coq-9.0-rc-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|