Skip to content
dune CI

CHC: add check on returnsites written #233

Sign in to view logs

CHC: add check on returnsites written

CHC: add check on returnsites written #233

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
3m 24s
Compile and test CodeHawk (4.13.1)
3m 22s
Compile and test CodeHawk (5.1.1)
3m 11s
Compile and test CodeHawk (5.0.0)
3m 52s
Compile and test CodeHawk (4.14.1)
3m 18s
Run CodeHawk-Binary tests (4.12.1)
19s
Run CodeHawk-C tests (4.12.1)
9s
Run CodeHawk-Binary tests (4.13.1)
23s
Run CodeHawk-Binary tests (5.1.1)
18s
Run CodeHawk-C tests (5.1.1)
7s
Run CodeHawk-C tests (4.13.1)
8s
Run CodeHawk-C tests (5.0.0)
8s
Run CodeHawk-Binary tests (5.0.0)
17s
Run CodeHawk-Binary tests (4.14.1)
20s
Run CodeHawk-C tests (4.14.1)
8s
19m 24s