Makefile CI

CHB: add more type constraints #127

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.12.1)	3m 2s
Compile CodeHawk (4.13.1)	2m 52s
Compile CodeHawk (4.14.1)	2m 43s
Run CodeHawk-C tests (4.12.1)	1m 37s
Run CodeHawk-C tests (4.13.1)	1m 29s
Run CodeHawk-Binary tests (4.12.1)	24s
Run CodeHawk-C tests (4.14.1)	59s
Run CodeHawk-Binary tests (4.13.1)	20s
Run CodeHawk-Binary tests (4.14.1)	18s
	13m 44s