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.473808 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 2/7 goals-after-comment (0.314311 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 3/7 goals-after-error (0.334913 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 4/7 goals-after-proof (0.320589 sec)
|
|
Run coq-community/docker-coq-action@v1
failed 7/7 update-goals-after-error (0.349179 sec)
|
|
Run coq-community/docker-coq-action@v1
The operation was canceled.
|
Loading