Skip to content
dune CI

CHB:ARM: update typing rules (in progress) #175

Sign in to view logs

CHB:ARM: update typing rules (in progress)

CHB:ARM: update typing rules (in progress) #175

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (5.0.0)
3m 21s
Compile and test CodeHawk (5.1.1)
3m 59s
Compile and test CodeHawk (4.14.1)
3m 16s
Compile and test CodeHawk (4.13.1)
3m 26s
Compile and test CodeHawk (4.12.1)
3m 29s
Run CodeHawk-Binary tests (5.1.1)
26s
Run CodeHawk-Binary tests (5.0.0)
26s
Run CodeHawk-Binary tests (4.13.1)
28s
Run CodeHawk-Binary tests (4.12.1)
23s
Run CodeHawk-C tests (4.13.1)
1m 33s
Run CodeHawk-Binary tests (4.14.1)
20s
Run CodeHawk-C tests (4.14.1)
1m 6s
Run CodeHawk-C tests (4.12.1)
1m 41s
Run CodeHawk-C tests (5.1.1)
1m 11s
Run CodeHawk-C tests (5.0.0)
1m 8s
26m 13s