Makefile CI

Merge pull request #174 from sipma/summaries #121

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.12.1)	5m 41s
Compile CodeHawk (4.13.1)	7m 28s
Compile CodeHawk (4.14.1)	5m 39s
Run CodeHawk-C tests (4.12.1)	1m 36s
Run CodeHawk-Binary tests (4.12.1)	23s
Run CodeHawk-C tests (4.13.1)	1m 28s
Run CodeHawk-Binary tests (4.13.1)	24s
Run CodeHawk-C tests (4.14.1)	1m 2s
Run CodeHawk-Binary tests (4.14.1)	19s
	24m 0s