Makefile CI

Sprinkle around some library dependencies in dune files #132

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.13.1)	2m 36s
Compile CodeHawk (4.12.1)	2m 39s
Compile CodeHawk (4.14.1)	2m 32s
Run CodeHawk-C tests (4.13.1)	1m 33s
Run CodeHawk-C tests (4.12.1)	1m 37s
Run CodeHawk-C tests (4.14.1)	58s
Run CodeHawk-Binary tests (4.14.1)	20s
Run CodeHawk-Binary tests (4.13.1)	23s
Run CodeHawk-Binary tests (4.12.1)	28s
	13m 6s