dune CI

Preconditions #276

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (5.0.0)	6m 43s
Compile and test CodeHawk (4.14.1)	6m 13s
Compile and test CodeHawk (5.1.1)	6m 7s
Compile and test CodeHawk (4.12.1)	9m 12s
Compile and test CodeHawk (4.13.1)	8m 49s
Run CodeHawk-C tests (5.0.0)	1m 9s
Run CodeHawk-Binary tests (5.1.1)	16s
Run CodeHawk-Binary tests (4.12.1)	24s
Run CodeHawk-C tests (5.1.1)	1m 18s
Run CodeHawk-Binary tests (4.13.1)	17s
Run CodeHawk-C tests (4.13.1)	1m 35s
Run CodeHawk-Binary tests (5.0.0)	16s
Run CodeHawk-C tests (4.12.1)	1m 46s
Run CodeHawk-C tests (4.14.1)	1m 4s
Run CodeHawk-Binary tests (4.14.1)	15s
	45m 24s