Skip to content
Back to pull request #220

feat: Support more Alt-Ergo primitives #624

Sign in to view logs

feat: Support more Alt-Ergo primitives

feat: Support more Alt-Ergo primitives #624

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (ocaml-base-compiler.4.12.1, ubuntu-latest)
9m 14s
install (ocaml-base-compiler.4.13.1, ubuntu-latest)
8m 31s
install (ocaml-base-compiler.4.14.0, ubuntu-latest)
8m 50s
install (ocaml-variants.4.14.0+options,ocaml-option-flambda, ubuntu-latest)
10m 41s
install (ocaml-base-compiler.5.0.0, ubuntu-latest)
8m 52s
install (ocaml-base-compiler.5.1.1, ubuntu-latest)
8m 46s
install (ocaml-base-compiler.5.2.0, ubuntu-latest)
9m 3s
install (ocaml-base-compiler.4.12.1, macos-latest)
11m 6s
install (ocaml-base-compiler.4.13.1, macos-latest)
9m 1s
install (ocaml-base-compiler.4.14.0, macos-latest)
8m 6s
install (ocaml-variants.4.14.0+options,ocaml-option-flambda, macos-latest)
10m 44s
install (ocaml-base-compiler.5.0.0, macos-latest)
8m 36s
install (ocaml-base-compiler.5.1.1, macos-latest)
9m 11s
install (ocaml-base-compiler.5.2.0, macos-latest)
9m 23s
install (ocaml-variants.4.12.1+mingw64c, windows-latest)
10m 51s
install (ocaml-variants.4.13.1+mingw64c, windows-latest)
11m 39s
install (ocaml-variants.4.14.0+mingw64c, windows-latest)
10m 31s
install (ocaml-variants.4.14.0+flambda+mingw64c, windows-latest)
11m 51s
2h 54m 56s