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