generic: reset proof-shell-delayed-output-{start,end,flags} regularly #826
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
10 errors and 1 warning
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/2 proof-check-correct-stat (1.706235 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 24/24 response-buffer-visible-coq-search-something-proof-end (0.000268 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
skipped 21/24 response-buffer-visible-coq-search-empty-proof-end (0.000196 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 8/8 yank-comment-end-in-processed-comment (0.858022 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 7/8 undo-kill-from-comment-to-comment (0.881209 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 6/8 undo-comment-spanning-over-two-comments (0.861643 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 5/8 undo-breaks-up-nested-comment (0.883041 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 4/8 kill-from-comment-to-next-comment (0.859164 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 3/8 insert-only-comment-end-in-processed-comment (0.868394 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
failed 1/8 comment-definition-process-undo (1.738621 sec)
|
|
simple-tests (coq-8.15.2-emacs-27.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|