Makefile CI

CHC: add check on returnsites written #229

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.12.1)	2m 23s
Compile CodeHawk (4.14.1)	2m 31s
Compile CodeHawk (4.13.1)	2m 20s
Run CodeHawk-Binary tests (4.12.1)	19s
Run CodeHawk-Binary tests (4.13.1)	15s
Run CodeHawk-C tests (4.12.1)	8s
Run CodeHawk-C tests (4.14.1)	8s
Run CodeHawk-Binary tests (4.14.1)	14s
Run CodeHawk-C tests (4.13.1)	6s
Compile CodeHawk (4.13.1)	2m 20s
Compile CodeHawk (4.14.1)	2m 26s
Compile CodeHawk (4.12.1)	2m 34s
Run CodeHawk-C tests (4.13.1)	1m 16s
Run CodeHawk-Binary tests (4.14.1)	14s
Run CodeHawk-C tests (4.14.1)	1m 1s
Run CodeHawk-Binary tests (4.13.1)	16s
Run CodeHawk-C tests (4.12.1)	1m 16s
Run CodeHawk-Binary tests (4.12.1)	17s
	20m 4s