Skip to content
dune CI

ARM: add more type inference #141

Sign in to view logs

ARM: add more type inference

ARM: add more type inference #141

Run time

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