dune CI

CHB:ARM: add more type inference #143

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (4.14.1)	9s
Compile and test CodeHawk (5.0.0)	7s
Compile and test CodeHawk (4.13.1)	6s
Compile and test CodeHawk (4.12.1)	6s
Compile and test CodeHawk (5.1.1)	6s
Run CodeHawk-Binary tests	0s
Run CodeHawk-C tests	0s
	34s