Skip to content
CI (Coq, docker, dev)

Do not use Ndigits in NUtil (coq/coq #18936) #906

Sign in to view logs

Do not use Ndigits in NUtil (coq/coq #18936)

Do not use Ndigits in NUtil (coq/coq #18936) #906

Run time

Learn about OS pricing on GitHub Actions
Job Run time
master
36m 13s
36m 13s