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