Skip to content
dune CI

CHB: support for conversion to c expr of pointer arithmetic #217

Sign in to view logs

CHB: support for conversion to c expr of pointer arithmetic

CHB: support for conversion to c expr of pointer arithmetic #217

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.13.1)
6m 10s
Compile and test CodeHawk (4.12.1)
6m 16s
Compile and test CodeHawk (5.1.1)
6m 38s
Compile and test CodeHawk (4.14.1)
6m 26s
Compile and test CodeHawk (5.0.0)
6m 32s
Run CodeHawk-C tests (4.12.1)
1m 39s
Run CodeHawk-C tests (4.13.1)
1m 38s
Run CodeHawk-C tests (4.14.1)
1m 1s
Run CodeHawk-C tests (5.0.0)
1m 3s
Run CodeHawk-Binary tests (4.12.1)
30s
Run CodeHawk-Binary tests (4.14.1)
22s
Run CodeHawk-Binary tests (4.13.1)
24s
Run CodeHawk-Binary tests (5.1.1)
23s
Run CodeHawk-Binary tests (5.0.0)
20s
Run CodeHawk-C tests (5.1.1)
1m 15s
40m 37s