Makefile CI

ARM: add more type inference #136

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.12.1)	8s
Compile CodeHawk (4.13.1)	8s
Compile CodeHawk (4.14.1)	6s
Run CodeHawk-C tests	0s
Run CodeHawk-Binary tests	0s
	22s