Skip to content
Docker CI

Adapt to https://github.com/coq/coq/pull/18880 #79

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/18880

Adapt to https://github.com/coq/coq/pull/18880 #79

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
10m 32s
build (coqorg/coq:8.19)
1m 34s
build (coqorg/coq:8.18)
11m 34s
23m 40s