Makefile CI

CIL: update for Nov 27 goblint-cil opam update #115

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile CodeHawk (4.12.1)	2m 52s
Compile CodeHawk (4.13.1)	2m 52s
Compile CodeHawk (4.14.1)	2m 39s
Run CodeHawk-Binary tests (4.12.1)	26s
Run CodeHawk-C tests (4.12.1)	1m 27s
Run CodeHawk-Binary tests (4.13.1)	22s
Run CodeHawk-C tests (4.13.1)	1m 32s
Run CodeHawk-Binary tests (4.14.1)	20s
Run CodeHawk-C tests (4.14.1)	1m 2s
	13m 32s