Makefile CI

Merge pull request #176 from sipma/memoryaddress #125

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)	5m 41s
Compile CodeHawk (4.14.1)	6m 24s
Run CodeHawk-C tests (4.12.1)	1m 32s
Run CodeHawk-Binary tests (4.12.1)	27s
Run CodeHawk-C tests (4.13.1)	1m 35s
Run CodeHawk-Binary tests (4.13.1)	21s
Run CodeHawk-C tests (4.14.1)	56s
Run CodeHawk-Binary tests (4.14.1)	18s
	22m 55s