dune CI

CHB:PO: delegate BlockWrite without external length term #277

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (5.1.1)	6m 58s
Compile and test CodeHawk (4.13.1)	9m 10s
Compile and test CodeHawk (4.14.1)	6m 25s
Compile and test CodeHawk (4.12.1)	8m 25s
Compile and test CodeHawk (5.0.0)	7m 5s
Run CodeHawk-C tests (4.12.1)	1m 46s
Run CodeHawk-Binary tests (4.12.1)	21s
Run CodeHawk-Binary tests (5.0.0)	18s
Run CodeHawk-Binary tests (5.1.1)	17s
Run CodeHawk-Binary tests (4.13.1)	22s
Run CodeHawk-C tests (5.0.0)	1m 11s
Run CodeHawk-C tests (4.14.1)	1m 3s
Run CodeHawk-C tests (4.13.1)	1m 39s
Run CodeHawk-C tests (5.1.1)	1m 12s
Run CodeHawk-Binary tests (4.14.1)	19s
	46m 31s