Trying to support the rocq CLI. #778
Matafoutest.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
340 errors and 102 warnings
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 2/13 goals-after-comment (0.161138 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/13 goals-after-auto (0.228252 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.644284 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.162425 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.163509 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.162116 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.162689 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.162723 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.162932 sec)
|
|
simple-tests (coq-8.12.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.623188 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 2/13 goals-after-comment (0.187751 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/13 goals-after-auto (0.287962 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.769767 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.178015 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.190731 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.176006 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.191713 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.188840 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.175164 sec)
|
|
simple-tests (coq-8.14.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.778373 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 2/13 goals-after-comment (0.178364 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/13 goals-after-auto (0.244082 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.653444 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.186950 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.177205 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.178896 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.179232 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.183706 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.179261 sec)
|
|
simple-tests (coq-8.14.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.645805 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/13 goals-after-error (0.290356 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 2/13 goals-after-comment (0.290785 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/13 goals-after-auto (0.355265 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.291556 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.291269 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.290411 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.290379 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.292435 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.291539 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.827717 sec)
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 2/13 goals-after-comment
|
|
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 1/2 proof-check-correct-stat
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.11.2-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/13 goals-after-error (0.300048 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 2/13 goals-after-comment (0.301065 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/13 goals-after-auto (0.367625 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.298276 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.309797 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.300031 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.295533 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.297923 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.299223 sec)
|
|
simple-tests (coq-8.18.0-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.847357 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/13 goals-after-error (0.305469 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 2/13 goals-after-comment (0.324039 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/13 goals-after-auto (0.444464 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.303197 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.321059 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.305112 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.317105 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.304495 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.318635 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.007110 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 2/13 goals-after-comment (0.161708 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/13 goals-after-auto (0.284470 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/2 proof-check-correct-stat (0.797567 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.145813 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.158844 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.141931 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.156493 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.157199 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.143862 sec)
|
|
simple-tests (coq-8.13.2-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.763163 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/13 goals-after-error (0.327761 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 2/13 goals-after-comment (0.327396 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/13 goals-after-auto (0.504895 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.320653 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.342837 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.318757 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.343192 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.327187 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.335028 sec)
|
|
simple-tests (coq-8.20.1-emacs-28.1)
failed 1/8 comment-definition-process-undo (1.060812 sec)
|
|
simple-tests (coq-8.18.0-emacs-26.3)
failed 3/13 goals-after-error
|
|
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 1/13 goals-after-auto
|
|
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 7/8 undo-kill-from-comment-to-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 5/8 undo-breaks-up-nested-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)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.18.0-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/13 goals-after-error (0.302560 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 2/13 goals-after-comment (0.324778 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/13 goals-after-auto (0.446474 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.315897 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.320011 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.306760 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.319246 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.316157 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.305244 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.985821 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/13 goals-after-error (0.335925 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 2/13 goals-after-comment (0.328848 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/13 goals-after-auto (0.438130 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.305829 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.352368 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.322429 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.342752 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.308363 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.327842 sec)
|
|
simple-tests (coq-8.18.0-emacs-28.2)
failed 1/8 comment-definition-process-undo (1.090989 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 2/13 goals-after-comment (0.148756 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/13 goals-after-auto (0.213716 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.630883 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.148375 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.148332 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.148246 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.149183 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.148348 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.149953 sec)
|
|
simple-tests (coq-8.11.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.608115 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/13 goals-after-error (0.314130 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 2/13 goals-after-comment (0.302779 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/13 goals-after-auto (0.366907 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.310153 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.304285 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.311065 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.309942 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.305283 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.306822 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.836586 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/13 goals-after-error (0.182963 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 2/13 goals-after-comment (0.185267 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/13 goals-after-auto (0.246811 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.182511 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.182229 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.182020 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.180594 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.180234 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.180911 sec)
|
|
simple-tests (coq-8.15.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.662437 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/13 goals-after-error (0.307544 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 2/13 goals-after-comment (0.307048 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/13 goals-after-auto (0.379033 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.307669 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.307432 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.309068 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.305678 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.306257 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.314632 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.846833 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 2/13 goals-after-comment (0.140977 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/13 goals-after-auto (0.206187 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/2 proof-check-correct-stat (0.593691 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.140330 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.140756 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.139920 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.139933 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.142103 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.145255 sec)
|
|
simple-tests (coq-8.13.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.602392 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/13 goals-after-error (0.304295 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 2/13 goals-after-comment (0.304703 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/13 goals-after-auto (0.371678 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 8/8 yank-comment-end-in-processed-comment (0.302465 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 7/8 undo-kill-from-comment-to-comment (0.305212 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.305440 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 5/8 undo-breaks-up-nested-comment (0.304552 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 4/8 kill-from-comment-to-next-comment (0.306734 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.308632 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.2)
failed 1/8 comment-definition-process-undo (0.840067 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/13 goals-after-error (0.303559 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 2/13 goals-after-comment (0.319518 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/13 goals-after-auto (0.417169 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 8/8 yank-comment-end-in-processed-comment (0.303953 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 7/8 undo-kill-from-comment-to-comment (0.314955 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.302407 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 5/8 undo-breaks-up-nested-comment (0.313639 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 4/8 kill-from-comment-to-next-comment (0.314790 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.301665 sec)
|
|
simple-tests (coq-8.20.1-emacs-27.2)
failed 1/8 comment-definition-process-undo (0.978348 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/13 goals-after-error (0.299979 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 2/13 goals-after-comment (0.312982 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/13 goals-after-auto (0.422446 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.299775 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.315460 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.301878 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.311279 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.297328 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.321333 sec)
|
|
simple-tests (coq-8.19.2-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.977085 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/13 goals-after-error (0.300846 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 2/13 goals-after-comment (0.297858 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/13 goals-after-auto (0.361406 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.298779 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.298075 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.301242 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.299258 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.302021 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.299233 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.838265 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/13 goals-after-error (0.185695 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 2/13 goals-after-comment (0.195809 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/13 goals-after-auto (0.314045 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 8/8 yank-comment-end-in-processed-comment (0.183001 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 7/8 undo-kill-from-comment-to-comment (0.196475 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.183159 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 5/8 undo-breaks-up-nested-comment (0.196700 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 4/8 kill-from-comment-to-next-comment (0.182990 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.198201 sec)
|
|
simple-tests (coq-8.15.2-emacs-28.1)
failed 1/8 comment-definition-process-undo (0.900543 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/13 goals-after-error (0.180475 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 2/13 goals-after-comment (0.187172 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/13 goals-after-auto (0.242638 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.179657 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.180330 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.179561 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.178693 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.178579 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.178624 sec)
|
|
simple-tests (coq-8.16.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.660742 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/13 goals-after-error (0.176001 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 2/13 goals-after-comment (0.173962 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/13 goals-after-auto (0.245343 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.179738 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.178242 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.178910 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.178368 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.181966 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.179662 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.644978 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/13 goals-after-error (0.303407 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 2/13 goals-after-comment (0.302708 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/13 goals-after-auto (0.366601 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 8/8 yank-comment-end-in-processed-comment (0.307979 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 7/8 undo-kill-from-comment-to-comment (0.301776 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 6/8 undo-comment-spanning-over-two-comments (0.300267 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 5/8 undo-breaks-up-nested-comment (0.302858 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 4/8 kill-from-comment-to-next-comment (0.304815 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 3/8 insert-only-comment-end-in-processed-comment (0.299501 sec)
|
|
simple-tests (coq-8.19.2-emacs-29.4)
failed 1/8 comment-definition-process-undo (0.834920 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/13 goals-after-error (0.181635 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 2/13 goals-after-comment (0.190103 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/13 goals-after-auto (0.246767 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 8/8 yank-comment-end-in-processed-comment (0.180810 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 7/8 undo-kill-from-comment-to-comment (0.178176 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.179764 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 5/8 undo-breaks-up-nested-comment (0.177320 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 4/8 kill-from-comment-to-next-comment (0.179916 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.178271 sec)
|
|
simple-tests (coq-8.17.1-emacs-29.1)
failed 1/8 comment-definition-process-undo (0.662834 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/13 goals-after-error (0.190022 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 2/13 goals-after-comment (0.215451 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/13 goals-after-auto (0.346388 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 8/8 yank-comment-end-in-processed-comment (0.187174 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 7/8 undo-kill-from-comment-to-comment (0.204878 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 6/8 undo-comment-spanning-over-two-comments (0.188726 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 5/8 undo-breaks-up-nested-comment (0.203471 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 4/8 kill-from-comment-to-next-comment (0.193729 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 3/8 insert-only-comment-end-in-processed-comment (0.208980 sec)
|
|
simple-tests (coq-8.16.1-emacs-28.2)
failed 1/8 comment-definition-process-undo (0.883211 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/13 goals-after-error (0.309360 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 2/13 goals-after-comment (0.320817 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/13 goals-after-auto (0.438184 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.309551 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.349604 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.315886 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.315415 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.314740 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.303290 sec)
|
|
simple-tests (coq-8.19.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.007066 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/13 goals-after-error (0.319601 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 2/13 goals-after-comment (0.312905 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/13 goals-after-auto (0.392650 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 8/8 yank-comment-end-in-processed-comment (0.316171 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 7/8 undo-kill-from-comment-to-comment (0.316180 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 6/8 undo-comment-spanning-over-two-comments (0.319457 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 5/8 undo-breaks-up-nested-comment (0.322115 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 4/8 kill-from-comment-to-next-comment (0.316293 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 3/8 insert-only-comment-end-in-processed-comment (0.320047 sec)
|
|
simple-tests (coq-8.20.1-emacs-29.3)
failed 1/8 comment-definition-process-undo (0.873907 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/13 goals-after-error (0.294604 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 2/13 goals-after-comment (0.304596 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/13 goals-after-auto (0.417319 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.289031 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.301079 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.287186 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.300835 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.308377 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.290014 sec)
|
|
simple-tests (coq-8.18.0-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.965150 sec)
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 3/13 goals-after-error
|
|
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 1/13 goals-after-auto
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.20.1-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 3/13 goals-after-error
|
|
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 1/13 goals-after-auto
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 8/8 yank-comment-end-in-processed-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 7/8 undo-kill-from-comment-to-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 6/8 undo-comment-spanning-over-two-comments
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 5/8 undo-breaks-up-nested-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
failed 4/8 kill-from-comment-to-next-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
skipped 3/8 insert-only-comment-end-in-processed-comment
|
|
simple-tests (coq-8.19.2-emacs-26.3)
skipped 2/8 insert-comment-end-and-char-in-processed-comment
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 2/13 goals-after-comment (0.182204 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/13 goals-after-auto (0.308560 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (0.798746 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.163098 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.176611 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.161100 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.176736 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.177811 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.162749 sec)
|
|
simple-tests (coq-8.12.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.790758 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/13 goals-after-error (0.187370 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 2/13 goals-after-comment (0.195269 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/13 goals-after-auto (0.296896 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.180645 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.196317 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.180787 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.194049 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.196293 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.180353 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (0.805524 sec)
|
|
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.14.1-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-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-26.3)
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
|
|
compile-tests (coq-8.15.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
|
|
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-26.3)
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
|
|
compile-tests (coq-8.19.2-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.11.2-emacs-26.3)
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
|
|
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.20.1-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.20.1-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.20.1-emacs-27.1)
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.11.2-emacs-29.4)
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.15.2-emacs-29.4)
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.13.2-emacs-29.4)
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-27.2)
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.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.17.1-emacs-29.4)
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.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.18.0-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.12.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
simple-tests (coq-8.19.2-emacs-26.3)
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.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.18.0-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-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.20.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.20.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
compile-tests (coq-8.17.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.11.2-emacs-29.4)
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.20.1-emacs-27.1)
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
|
|
test (coq-8.14.1-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-27.1)
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.16.1-emacs-29.4)
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-29.4)
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
|
|
compile-tests (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.16.1-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.15.2-emacs-28.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.17.1-emacs-29.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
|
|
test (coq-8.18.0-emacs-28.2)
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.13.2-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-26.3)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.12.2-emacs-27.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.19.2-emacs-29.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.20.1-emacs-27.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.13.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-28.2)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.19.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.18.0-emacs-29.4)
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-28.1)
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.17.1-emacs-29.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
test (coq-8.20.1-emacs-29.2)
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.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|