Skip to content
dune CI

CHC: add primary proofobligation creation for output parameters #220

Sign in to view logs

CHC: add primary proofobligation creation for output parameters

CHC: add primary proofobligation creation for output parameters #220

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
3m 26s
Compile and test CodeHawk (5.1.1)
3m 27s
Compile and test CodeHawk (4.14.1)
3m 25s
Compile and test CodeHawk (4.13.1)
4m 9s
Compile and test CodeHawk (5.0.0)
3m 29s
Run CodeHawk-Binary tests (5.0.0)
18s
Run CodeHawk-Binary tests (4.14.1)
15s
Run CodeHawk-Binary tests (4.12.1)
19s
Run CodeHawk-C tests (4.14.1)
9s
Run CodeHawk-C tests (5.1.1)
8s
Run CodeHawk-C tests (5.0.0)
8s
Run CodeHawk-C tests (4.13.1)
9s
Run CodeHawk-Binary tests (4.13.1)
18s
Run CodeHawk-Binary tests (5.1.1)
18s
Run CodeHawk-C tests (4.12.1)
9s
20m 7s