Adapt to https://github.com/coq/coq/pull/19530 (#1957) #689
Annotations
1 warning
|
Build coq-community/docker-coq-action@v1
Docker build failed with exit code 1, back off 6.066 seconds before retry.
|
Loading