Skip to content
dune CI

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

Sign in to view logs

CIL: update for Nov 27 goblint-cil opam update

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
3m 52s
Compile and test CodeHawk (4.13.1)
3m 40s
Compile and test CodeHawk (4.14.1)
3m 37s
Compile and test CodeHawk (5.0.0)
3m 38s
Compile and test CodeHawk (5.1.1)
3m 33s
Run CodeHawk-Binary tests (4.12.1)
25s
Run CodeHawk-C tests (4.12.1)
1m 32s
Run CodeHawk-Binary tests (4.13.1)
23s
Run CodeHawk-C tests (4.13.1)
1m 28s
Run CodeHawk-Binary tests (4.14.1)
23s
Run CodeHawk-C tests (4.14.1)
1m 3s
Run CodeHawk-Binary tests (5.0.0)
26s
Run CodeHawk-C tests (5.0.0)
1m 7s
Run CodeHawk-Binary tests (5.1.1)
23s
Run CodeHawk-C tests (5.1.1)
1m 13s
26m 43s