Skip to content
dune CI

CHC: merge result-value migration with Errno changes #269

Sign in to view logs

CHC: merge result-value migration with Errno changes

CHC: merge result-value migration with Errno changes #269

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
3m 41s
Compile and test CodeHawk (5.1.1)
3m 41s
Compile and test CodeHawk (4.14.1)
3m 33s
Compile and test CodeHawk (4.13.1)
3m 35s
Compile and test CodeHawk (5.0.0)
3m 29s
Run CodeHawk-Binary tests (4.13.1)
29s
Run CodeHawk-Binary tests (5.0.0)
16s
Run CodeHawk-C tests (4.14.1)
1m 8s
Run CodeHawk-C tests (4.13.1)
1m 40s
Run CodeHawk-C tests (5.0.0)
1m 7s
Run CodeHawk-C tests (5.1.1)
1m 17s
Run CodeHawk-Binary tests (4.14.1)
16s
Run CodeHawk-Binary tests (5.1.1)
16s
Run CodeHawk-C tests (4.12.1)
1m 41s
Run CodeHawk-Binary tests (4.12.1)
25s
26m 34s