Makefile CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.14.1)	5m 22s
Compile CodeHawk (4.12.1)	5m 25s
Compile CodeHawk (4.13.1)	5m 28s
Run CodeHawk-C tests (4.12.1)	1m 43s
Run CodeHawk-Binary tests (4.13.1)	17s
Run CodeHawk-Binary tests (4.12.1)	17s
Run CodeHawk-Binary tests (4.14.1)	19s
Run CodeHawk-C tests (4.13.1)	1m 28s
Run CodeHawk-C tests (4.14.1)	1m 4s
	21m 23s