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.378373 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 2/7 goals-after-comment (0.310749 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 3/7 goals-after-error (0.320545 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 4/7 goals-after-proof (0.305401 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 7/7 update-goals-after-error (0.323743 sec)
|
|
Run coq-community/docker-coq-action@v1
The operation was canceled.
|
Loading