Skip to content
dune CI

CHC: support pointer arithmetic on argv #244

Sign in to view logs

CHC: support pointer arithmetic on argv

CHC: support pointer arithmetic on argv #244

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.13.1)
3m 27s
Compile and test CodeHawk (5.1.1)
3m 35s
Compile and test CodeHawk (4.14.1)
3m 38s
Compile and test CodeHawk (5.0.0)
3m 36s
Compile and test CodeHawk (4.12.1)
3m 48s
Run CodeHawk-C tests (5.1.1)
1m 11s
Run CodeHawk-C tests (4.12.1)
1m 41s
Run CodeHawk-C tests (5.0.0)
1m 13s
Run CodeHawk-Binary tests (4.13.1)
19s
Run CodeHawk-Binary tests (5.0.0)
16s
Run CodeHawk-C tests (4.13.1)
1m 25s
Run CodeHawk-Binary tests (4.12.1)
21s
Run CodeHawk-C tests (4.14.1)
1m 9s
Run CodeHawk-Binary tests (4.14.1)
15s
Run CodeHawk-Binary tests (5.1.1)
22s
26m 16s