Skip to content
dune CI

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

Sign in to view logs

CIL: update for Nov 27 goblint-cil opam update

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
3m 35s
Compile and test CodeHawk (4.13.1)
3m 32s
Compile and test CodeHawk (4.14.1)
3m 36s
Compile and test CodeHawk (5.0.0)
3m 40s
Compile and test CodeHawk (5.1.1)
3m 46s
Run CodeHawk-C tests (4.12.1)
1m 33s
Run CodeHawk-Binary tests (4.12.1)
27s
Run CodeHawk-C tests (4.13.1)
1m 33s
Run CodeHawk-Binary tests (4.13.1)
24s
Run CodeHawk-C tests (4.14.1)
1m 8s
Run CodeHawk-Binary tests (4.14.1)
22s
Run CodeHawk-C tests (5.0.0)
1m 12s
Run CodeHawk-Binary tests (5.0.0)
22s
Run CodeHawk-C tests (5.1.1)
1m 17s
Run CodeHawk-Binary tests (5.1.1)
23s
26m 50s