Skip to content
dune CI

CHB: handle void-typed target address #201

Sign in to view logs

CHB: handle void-typed target address

CHB: handle void-typed target address #201

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (5.1.1)
3m 16s
Compile and test CodeHawk (4.13.1)
3m 18s
Compile and test CodeHawk (5.0.0)
3m 20s
Compile and test CodeHawk (4.12.1)
3m 20s
Compile and test CodeHawk (4.14.1)
3m 16s
Run CodeHawk-Binary tests (4.12.1)
24s
Run CodeHawk-C tests (4.13.1)
1m 34s
Run CodeHawk-C tests (5.0.0)
1m 8s
Run CodeHawk-C tests (4.12.1)
1m 39s
Run CodeHawk-C tests (5.1.1)
1m 17s
Run CodeHawk-C tests (4.14.1)
1m 0s
Run CodeHawk-Binary tests (4.14.1)
21s
Run CodeHawk-Binary tests (5.1.1)
29s
Run CodeHawk-Binary tests (4.13.1)
25s
Run CodeHawk-Binary tests (5.0.0)
21s
25m 8s