Fix response #817
Annotations
4 errors and 1 warning
|
Run coq-community/docker-coq-action@v1
failed 10/13 091_coq-test-regression-Fail (1.057000 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 9/13 090_coq-test-regression-Fail (1.029444 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 7/13 080_coq-test-regression-show-proof-stepwise (1.019986 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 2/13 020_coq-test-definition (1.019673 sec)
|
|
Post Run actions/checkout@v2
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
Loading