Skip to content
.github/workflows/main.yaml

ci: use ocaml 4.14.2 instead of 4.14.1 #350

Sign in to view logs

ci: use ocaml 4.14.2 instead of 4.14.1

ci: use ocaml 4.14.2 instead of 4.14.1 #350

Run time

Learn about OS pricing on GitHub Actions
Job Run time
isabelle_dedukti (4.14.2, 2.7, 2.3.1, 2023)
8m 31s
8m 31s