Fix problems with error on the first command of a file. #771
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
1 error and 1 warning
|
test (coq-8.19.2-emacs-29.4)
FAILED 12/13 110_coq-test-regression_error_on_fst_cmd (0.288454 sec) at ci/coq-tests.el:452
|
|
test (coq-8.19.2-emacs-29.4)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|