Skip to content
Docker CI

Replace deprecated alias Zmod with Z.modulo #76

Sign in to view logs

Replace deprecated alias Zmod with Z.modulo

Replace deprecated alias Zmod with Z.modulo #76

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
9s
build (coqorg/coq:8.18)
3m 27s
build (coqorg/coq:8.19)
3m 28s
build (coqorg/coq:dev)
11s
build (coqorg/coq:8.18)
3m 27s
build (coqorg/coq:8.19)
3m 28s
14m 10s