Skip to content
dune CI

ARM: add more type inference #140

Sign in to view logs

ARM: add more type inference

ARM: add more type inference #140

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
9s
Compile and test CodeHawk (5.1.1)
9s
Compile and test CodeHawk (4.14.1)
10s
Compile and test CodeHawk (4.13.1)
7s
Compile and test CodeHawk (5.0.0)
8s
Run CodeHawk-C tests
0s
Run CodeHawk-Binary tests
0s
43s