Skip to content
dune CI

CHC:add representation for output parameter rejection reasons #230

Sign in to view logs

CHC:add representation for output parameter rejection reasons

CHC:add representation for output parameter rejection reasons #230

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (5.0.0)
3m 26s
Compile and test CodeHawk (4.12.1)
3m 33s
Compile and test CodeHawk (5.1.1)
3m 31s
Compile and test CodeHawk (4.14.1)
3m 16s
Compile and test CodeHawk (4.13.1)
3m 27s
Run CodeHawk-Binary tests (5.0.0)
17s
Run CodeHawk-Binary tests (4.14.1)
17s
Run CodeHawk-Binary tests (4.12.1)
19s
Run CodeHawk-Binary tests (5.1.1)
16s
Run CodeHawk-C tests (4.12.1)
9s
Run CodeHawk-C tests (5.1.1)
10s
Run CodeHawk-C tests (5.0.0)
8s
Run CodeHawk-C tests (4.13.1)
8s
Run CodeHawk-C tests (4.14.1)
6s
Run CodeHawk-Binary tests (4.13.1)
19s
19m 22s