dune CI

CHB: revert chk_flows_to_argument mode to cons param #251

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (4.13.1)	3m 27s
Compile and test CodeHawk (5.1.1)	3m 53s
Compile and test CodeHawk (4.12.1)	3m 33s
Compile and test CodeHawk (4.14.1)	3m 53s
Compile and test CodeHawk (5.0.0)	3m 33s
Run CodeHawk-Binary tests (4.12.1)	24s
Run CodeHawk-Binary tests (4.14.1)	15s
Run CodeHawk-C tests (5.1.1)	1m 16s
Run CodeHawk-Binary tests (4.13.1)	19s
Run CodeHawk-Binary tests (5.1.1)	17s
Run CodeHawk-C tests (4.13.1)	1m 34s
Run CodeHawk-Binary tests (5.0.0)	21s
Run CodeHawk-C tests (5.0.0)	1m 5s
Run CodeHawk-C tests (4.12.1)	1m 31s
Run CodeHawk-C tests (4.14.1)	1m 10s
	26m 31s