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

Triggered via pull request April 16, 2024 20:26
@andres-erbsenandres-erbsen
opened #1876
remove-NDigits
Status Success
Total duration 6h 7m 15s
Artifacts –

docker-coq.yml

on: pull_request
Matrix: docker-build
Fit to window
Zoom out
Zoom in