Skip to content
dune CI

CHB:INV: restrict removing invariants to side-effect expressions #271

Sign in to view logs

CHB:INV: restrict removing invariants to side-effect expressions

CHB:INV: restrict removing invariants to side-effect expressions #271

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.13.1)
5m 59s
Compile and test CodeHawk (5.1.1)
3m 44s
Compile and test CodeHawk (4.14.1)
3m 17s
Compile and test CodeHawk (4.12.1)
5m 50s
Compile and test CodeHawk (5.0.0)
4m 0s
Run CodeHawk-Binary tests (5.0.0)
16s
Run CodeHawk-Binary tests (5.1.1)
19s
Run CodeHawk-Binary tests (4.14.1)
16s
Run CodeHawk-Binary tests (4.12.1)
20s
Run CodeHawk-Binary tests (4.13.1)
19s
Run CodeHawk-C tests (4.13.1)
1m 31s
Run CodeHawk-C tests (4.12.1)
1m 36s
Run CodeHawk-C tests (5.1.1)
1m 22s
Run CodeHawk-C tests (4.14.1)
1m 5s
Run CodeHawk-C tests (5.0.0)
1m 10s
31m 4s