Makefile CI

Varinvariants #110

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.12.1)	2m 55s
Compile CodeHawk (4.13.1)	2m 36s
Compile CodeHawk (4.14.1)	2m 37s
Run CodeHawk-Binary tests (4.12.1)	26s
Run CodeHawk-C tests (4.12.1)	1m 30s
Run CodeHawk-Binary tests (4.13.1)	20s
Run CodeHawk-C tests (4.13.1)	1m 29s
Run CodeHawk-Binary tests (4.14.1)	20s
Run CodeHawk-C tests (4.14.1)	1m 1s
	13m 14s