dune CI

CMD: add cmdline option to fail on function analysis failure #195

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (5.0.0)	3m 30s
Compile and test CodeHawk (4.14.1)	3m 15s
Compile and test CodeHawk (4.13.1)	3m 54s
Compile and test CodeHawk (5.1.1)	3m 15s
Compile and test CodeHawk (4.12.1)	4m 8s
Run CodeHawk-C tests (4.12.1)	1m 35s
Run CodeHawk-C tests (4.13.1)	1m 41s
Run CodeHawk-Binary tests (4.12.1)	26s
Run CodeHawk-Binary tests (5.0.0)	25s
Run CodeHawk-C tests (5.1.1)	1m 15s
Run CodeHawk-C tests (4.14.1)	1m 3s
Run CodeHawk-C tests (5.0.0)	1m 5s
Run CodeHawk-Binary tests (4.13.1)	23s
Run CodeHawk-Binary tests (5.1.1)	19s
Run CodeHawk-Binary tests (4.14.1)	22s
	26m 36s