Skip to content
Docker CI

Merge pull request #208 from coq-community/stdlib_repo #86

Sign in to view logs

Merge pull request #208 from coq-community/stdlib_repo

Merge pull request #208 from coq-community/stdlib_repo #86

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
9m 41s
build (coqorg/coq:8.19)
10m 3s
build (coqorg/coq:8.18)
10m 20s
30m 4s