Skip to content
Makefile CI

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

Sign in to view logs

CIL: update for Nov 27 goblint-cil opam update

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile CodeHawk (4.12.1)
2m 58s
Compile CodeHawk (4.13.1)
2m 39s
Compile CodeHawk (4.14.1)
2m 46s
Run CodeHawk-Binary tests (4.12.1)
25s
Run CodeHawk-C tests (4.12.1)
1m 27s
Run CodeHawk-Binary tests (4.13.1)
24s
Run CodeHawk-C tests (4.13.1)
1m 32s
Run CodeHawk-Binary tests (4.14.1)
24s
Run CodeHawk-C tests (4.14.1)
1m 2s
13m 37s