Makefile CI

Proofobligations #274

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.13.1)	2m 30s
Compile CodeHawk (4.12.1)	53m 42s
Compile CodeHawk (4.14.1)	2m 23s
Run CodeHawk-Binary tests	0s
Run CodeHawk-C tests	0s
	58m 35s