Makefile CI

CHB:ARM: add more type inference #138

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.13.1)	3m 28s
Compile CodeHawk (4.12.1)	2m 28s
Compile CodeHawk (4.14.1)	2m 27s
Run CodeHawk-C tests (4.12.1)	1m 35s
Run CodeHawk-Binary tests (4.12.1)	23s
Run CodeHawk-Binary tests (4.14.1)	19s
Run CodeHawk-C tests (4.14.1)	57s
Run CodeHawk-C tests (4.13.1)	1m 31s
Run CodeHawk-Binary tests (4.13.1)	21s
	13m 29s