Skip to content
Docker CI

Fix support for ocaml < 4.13 (avoid String.for_all) #24

Sign in to view logs

Fix support for ocaml < 4.13 (avoid String.for_all)

Fix support for ocaml < 4.13 (avoid String.for_all) #24

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
2m 13s
2m 13s