Skip to content
coq-library-undecidability CI

adapt to https://github.com/coq/coq/pull/20126 #723

Sign in to view logs

adapt to https://github.com/coq/coq/pull/20126

adapt to https://github.com/coq/coq/pull/20126 #723

Run time

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