Skip to content
coq-library-undecidability CI

workaround for https://github.com/coq/coq/issues/19564 #692

Sign in to view logs

workaround for https://github.com/coq/coq/issues/19564

workaround for https://github.com/coq/coq/issues/19564 #692

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, 4.14-flambda)
10m 22s
10m 22s