update boilerplate for 8.20 #158
palmskogAnnotations
1 error and 2 warnings
|
build (coqorg/coq:8.20)
Docker build failed with exit code 1
|
|
build (coqorg/coq:8.20)
Docker build failed with exit code 1, back off 4.951 seconds before retry.
|
|
build (coqorg/coq:8.20)
Docker build failed with exit code 1, back off 5.577 seconds before retry.
|