First attempt of fixing elpi syntax by Philip Kaludercic. #843
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
5 errors and 1 warning
|
test (coq-9.0.0-emacs-30.1)
FAILED 13/14 200_test-command-spliting (0.006719 sec) at ci/coq-tests.el:507
|
|
test (coq-9.0.0-emacs-30.1)
failed 10/14 091_coq-test-regression-Fail (0.310299 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 9/14 090_coq-test-regression-Fail (0.295698 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 7/14 080_coq-test-regression-show-proof-stepwise (0.295240 sec)
|
|
test (coq-9.0.0-emacs-30.1)
failed 2/14 020_coq-test-definition (0.299559 sec)
|
|
test (coq-9.0.0-emacs-30.1)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|