dune CI

CHB:ARM: add more identification to xdata values #129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (4.12.1)	3m 8s
Compile and test CodeHawk (4.13.1)	3m 4s
Compile and test CodeHawk (4.14.1)	2m 53s
Compile and test CodeHawk (5.0.0)	3m 7s
Compile and test CodeHawk (5.1.1)	2m 56s
Run CodeHawk-Binary tests	0s
Run CodeHawk-C tests	0s
	15m 8s