dune CI

CHB: override default parameter type #309

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (5.2.0)	7m 31s
Run CodeHawk-Binary tests (5.2.0)	16s
Run CodeHawk-C tests (5.2.0)	1m 16s
	9m 3s