dune CI

CHB: allow for postcondition attributes on parameters #283

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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