Skip to content
Docker CI

Merge pull request #97 from coq-community/compile-wo-coq-core #228

Sign in to view logs

Merge pull request #97 from coq-community/compile-wo-coq-core

Merge pull request #97 from coq-community/compile-wo-coq-core #228

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, coqorg/base:4.13.1-flambda)
1m 51s
1m 51s