Skip to content
Docker CI

remove unneeded Ndigits dependency (adapt to coq/coq#18936) #81

Sign in to view logs

remove unneeded Ndigits dependency (adapt to coq/coq#18936)

remove unneeded Ndigits dependency (adapt to coq/coq#18936) #81

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
10m 15s
build (coqorg/coq:8.19)
1m 31s
build (coqorg/coq:8.18)
10m 36s
22m 22s