Skip to content
dune CI

CHJ:jchstac: fix warnings and reformat #131

Sign in to view logs

CHJ:jchstac: fix warnings and reformat

CHJ:jchstac: fix warnings and reformat #131

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
3m 14s
Compile and test CodeHawk (4.13.1)
3m 23s
Compile and test CodeHawk (4.14.1)
3m 12s
Compile and test CodeHawk (5.0.0)
3m 25s
Compile and test CodeHawk (5.1.1)
3m 14s
Run CodeHawk-Binary tests (4.12.1)
23s
Run CodeHawk-Binary tests (4.13.1)
23s
Run CodeHawk-C tests (4.12.1)
1m 44s
Run CodeHawk-Binary tests (4.14.1)
20s
Run CodeHawk-C tests (4.13.1)
1m 32s
Run CodeHawk-Binary tests (5.0.0)
30s
Run CodeHawk-C tests (4.14.1)
58s
Run CodeHawk-Binary tests (5.1.1)
29s
Run CodeHawk-C tests (5.0.0)
58s
Run CodeHawk-C tests (5.1.1)
1m 3s
24m 48s