CI: add Coq 9.0+rc1 #764
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-29.4)
failed 1/8 comment-definition-process-undo (0.618012 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.151541 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.154352 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.153166 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.153094 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.150596 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.154621 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.618354 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.218864 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.150907 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.823467 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.171329 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.163455 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.177724 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.165705 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.186045 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.166410 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.813322 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.312097 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.164233 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.758246 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.142199 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.143405 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.156091 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.139878 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.153338 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.145072 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.736077 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.269212 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.139978 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.619321 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.163440 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.164514 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.165854 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.165322 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.163627 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.167222 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.623009 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.237324 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.162589 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.609533 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.143323 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.141030 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.143840 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.142565 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.140980 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.142559 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.600195 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.207202 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.140165 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.639634 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.185949 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.175548 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.172892 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.173388 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.172439 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.173879 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.634420 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.240173 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.174299 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.792294 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.177112 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.187526 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.188691 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.176280 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.189185 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.174394 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.785915 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.309325 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.176725 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.659557 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.179805 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.180358 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.178361 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.177862 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.179766 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.178843 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.245326 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.176486 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.179023 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.794642 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.179954 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.191752 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.180563 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.191126 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.179325 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.194263 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.300327 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.194947 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.180859 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.634381 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.174713 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.173357 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.171709 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.180208 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.173868 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.167724 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.237063 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.174517 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.178360 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.831470 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.193591 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.178135 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.193895 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.182055 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.192728 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.178178 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.303420 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.182974 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.194043 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.855586 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.185159 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.196563 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.189280 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.195395 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.190895 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.194855 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.343526 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.195645 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.181203 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.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.18.0-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
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.17.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.660100 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.181025 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.179491 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.185764 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.178084 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.182038 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.179670 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.244109 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.178487 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.183044 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.670418 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.181742 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.182332 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.184557 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.179161 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.179588 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.180852 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.246112 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.192737 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.182279 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.967507 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.294861 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.289664 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.300277 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.286812 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.299675 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.294342 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.405963 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.288221 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.301580 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.007010 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.304362 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.314058 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.298663 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.312393 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.297993 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.313028 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.457384 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.304391 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.297054 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.823880 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.294715 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.297935 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.294697 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.294197 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.291390 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.291309 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.357318 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.299543 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.293000 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.824715 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.291089 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.291624 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.289873 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.292262 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.289084 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.299009 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/13 goals-after-auto (0.355246 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 2/13 goals-after-comment (0.290977 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/13 goals-after-error (0.293606 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.974095 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.298992 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.298351 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.317499 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.296764 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.310115 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.297258 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.418903 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.297890 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.314319 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.015694 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.298127 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.319932 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.297283 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.315036 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.296347 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.318982 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.433136 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.309272 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.299831 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.890857 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.310459 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.313370 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.315993 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.309293 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.307890 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.319694 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.376812 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.308758 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.311900 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.823782 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.299005 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.296214 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.296158 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.296461 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.297630 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.297526 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.360136 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.294578 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.294668 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.004014 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.302916 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.308283 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.316854 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.307303 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.319462 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.308962 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/13 goals-after-auto (0.432701 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 2/13 goals-after-comment (0.304452 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/13 goals-after-error (0.319066 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.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.2)
failed 1/8 comment-definition-process-undo (1.029078 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.313457 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.306979 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.324924 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.312475 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.320708 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.306348 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/13 goals-after-auto (0.433533 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 2/13 goals-after-comment (0.304824 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/13 goals-after-error (0.325396 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.023814 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.314560 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.325547 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.308221 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.321270 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.303588 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.318508 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/13 goals-after-auto (0.439491 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 2/13 goals-after-comment (0.319247 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/13 goals-after-error (0.304507 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.894847 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.238230 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.241256 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.251067 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.237883 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.252313 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.245803 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 1/13 goals-after-auto (0.359650 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 2/13 goals-after-comment (0.240813 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.2)
failed 3/13 goals-after-error (0.267861 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
failed 1/13 goals-after-auto
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
failed 2/13 goals-after-comment
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
failed 3/13 goals-after-error
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.967590 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.298403 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.316012 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.299057 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.331465 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.302990 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.318525 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/13 goals-after-auto (0.438267 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 2/13 goals-after-comment (0.316446 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/13 goals-after-error (0.314577 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.835675 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.303291 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.302345 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.306418 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.301867 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.305667 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.307937 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/13 goals-after-auto (0.367684 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 2/13 goals-after-comment (0.309037 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/13 goals-after-error (0.302375 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.921987 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.244927 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.241509 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.260921 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.242265 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.252857 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.242623 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 1/13 goals-after-auto (0.370309 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 2/13 goals-after-comment (0.243906 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
failed 3/13 goals-after-error (0.263927 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.858497 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.307208 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.306136 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.307123 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.314550 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.305197 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.304624 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/13 goals-after-auto (0.372963 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 2/13 goals-after-comment (0.304783 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/13 goals-after-error (0.306812 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.833630 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.303953 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.303334 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.302589 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.301870 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.301600 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.305917 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/13 goals-after-auto (0.368333 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 2/13 goals-after-comment (0.302571 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/13 goals-after-error (0.304968 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.840115 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.312930 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.304710 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.301941 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.305502 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.303192 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.302201 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/13 goals-after-auto (0.370583 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 2/13 goals-after-comment (0.303622 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/13 goals-after-error (0.303405 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.740364 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.238911 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.238948 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.244002 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.238469 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.238840 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.238597 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 1/13 goals-after-auto (0.303678 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 2/13 goals-after-comment (0.237684 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
failed 3/13 goals-after-error (0.238385 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.901974 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.238931 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.257927 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.245951 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.251454 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.237412 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.252075 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 1/13 goals-after-auto (0.358204 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 2/13 goals-after-comment (0.253517 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
failed 3/13 goals-after-error (0.238292 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.902270 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.239117 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.254413 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.237508 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.251306 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.239300 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.254167 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 1/13 goals-after-auto (0.377181 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 2/13 goals-after-comment (0.260188 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
failed 3/13 goals-after-error (0.241457 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.755298 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.238625 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.236057 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.236114 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.237758 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.235672 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.235878 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 1/13 goals-after-auto (0.300192 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 2/13 goals-after-comment (0.237174 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
failed 3/13 goals-after-error (0.239980 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.748398 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.241582 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.240071 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.239202 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.241130 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.240481 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.243584 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 1/13 goals-after-auto (0.306841 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 2/13 goals-after-comment (0.242174 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
failed 3/13 goals-after-error (0.241951 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.745159 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.244760 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.240137 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.240524 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.242233 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.243236 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.242581 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 1/13 goals-after-auto (0.305373 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 2/13 goals-after-comment (0.243025 sec)
|
|
simple-tests (coq-9.0-rc1-emacs-29.4)
failed 3/13 goals-after-error (0.242684 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.11.2-emacs-26.3)
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.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.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.14.1-emacs-29.4)
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-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.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-27.1)
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.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-29.4)
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-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.20.1-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-8.20.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc1-emacs-27.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
|
|
compile-tests (coq-9.0-rc1-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-9.0-rc1-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-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.3)
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.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.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.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.14.1-emacs-27.2)
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.16.1-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.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-26.3)
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
|
|
compile-tests (coq-9.0-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-9.0-rc1-emacs-29.2)
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.18.0-emacs-29.3)
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-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
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-27.1)
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.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-9.0-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc1-emacs-26.3)
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.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc1-emacs-27.1)
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-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.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc1-emacs-29.2)
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
|
|
simple-tests (coq-9.0-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.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
|
|
simple-tests (coq-9.0-rc1-emacs-29.3)
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-29.4)
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.14.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-9.0-rc1-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.16.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.15.2-emacs-28.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.15.2-emacs-29.4)
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.17.1-emacs-29.4)
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.18.0-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-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.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.20.1-emacs-26.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-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-rc1-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-9.0-rc1-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-29.1)
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-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc1-emacs-29.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-9.0-rc1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|