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

isabelle_dedukti (4.14.2, 2.7, 2.3.1, 2023)

isabelle_dedukti (4.14.2, 2.7, 2.3.1, 2023)
succeeded Oct 30, 2024 in 8m 31s