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.009229 sec)
|
Run coq-community/docker-coq-action@v1
failed 9/13 090_coq-test-regression-Fail (0.983621 sec)
|
Run coq-community/docker-coq-action@v1
failed 7/13 080_coq-test-regression-show-proof-stepwise (0.982473 sec)
|
Run coq-community/docker-coq-action@v1
failed 2/13 020_coq-test-definition (0.990791 sec)
|
Post Run actions/checkout@v2
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
Loading