dune CI

Headerfile #249

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (5.1.1)	6m 39s
Compile and test CodeHawk (4.14.1)	6m 42s
Compile and test CodeHawk (4.13.1)	6m 16s
Compile and test CodeHawk (5.0.0)	6m 54s
Compile and test CodeHawk (4.12.1)	7m 8s
Run CodeHawk-C tests (4.13.1)	1m 41s
Run CodeHawk-Binary tests (4.14.1)	22s
Run CodeHawk-C tests (4.14.1)	1m 23s
Run CodeHawk-Binary tests (5.1.1)	22s
Run CodeHawk-C tests (5.0.0)	1m 14s
Run CodeHawk-C tests (5.1.1)	1m 17s
Run CodeHawk-Binary tests (4.13.1)	18s
Run CodeHawk-Binary tests (4.12.1)	27s
Run CodeHawk-C tests (4.12.1)	1m 44s
Run CodeHawk-Binary tests (5.0.0)	17s
	42m 44s