poor PG man's workaround for coq/coq#11479 #647
Annotations
7 errors
|
The run was canceled by @hendriktews.
|
|
Run coq-community/docker-coq-action@v1
failed 1/7 goals-after-auto (0.459953 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 2/7 goals-after-comment (0.314013 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 3/7 goals-after-error (0.334741 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 4/7 goals-after-proof (0.338646 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 7/7 update-goals-after-error (0.340962 sec)
|
|
Run coq-community/docker-coq-action@v1
The operation was canceled.
|
Loading