Skip to content
dune CI

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

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 #216

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.13.1)
6m 14s
Compile and test CodeHawk (4.14.1)
6m 1s
Compile and test CodeHawk (5.1.1)
6m 41s
Compile and test CodeHawk (4.12.1)
6m 28s
Compile and test CodeHawk (5.0.0)
6m 43s
Run CodeHawk-Binary tests (5.1.1)
23s
Run CodeHawk-Binary tests (5.0.0)
26s
Run CodeHawk-Binary tests (4.13.1)
27s
Run CodeHawk-Binary tests (4.12.1)
25s
Run CodeHawk-C tests (4.13.1)
1m 35s
Run CodeHawk-C tests (4.12.1)
1m 34s
Run CodeHawk-Binary tests (4.14.1)
26s
Run CodeHawk-C tests (5.0.0)
1m 3s
Run CodeHawk-C tests (5.1.1)
1m 12s
Run CodeHawk-C tests (4.14.1)
1m 5s
40m 43s