Skip to content
Makefile CI

Standardize on using dune to build CodeHawk #158

Sign in to view logs

Standardize on using dune to build CodeHawk

Standardize on using dune to build CodeHawk #158

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile CodeHawk (4.12.1)
2m 34s
Compile CodeHawk (4.14.1)
2m 28s
Compile CodeHawk (4.13.1)
2m 31s
Run CodeHawk-C tests (4.13.1)
1m 38s
Run CodeHawk-Binary tests (4.13.1)
25s
Run CodeHawk-C tests (4.12.1)
1m 34s
Run CodeHawk-Binary tests (4.12.1)
24s
Run CodeHawk-Binary tests (4.14.1)
23s
Run CodeHawk-C tests (4.14.1)
1m 0s
12m 57s