Skip to content
dune CI

CHB:ARM: convert STMIB LHS to type-based representation #145

Sign in to view logs

CHB:ARM: convert STMIB LHS to type-based representation

CHB:ARM: convert STMIB LHS to type-based representation #145

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
3m 18s
Compile and test CodeHawk (4.13.1)
3m 15s
Compile and test CodeHawk (4.14.1)
3m 8s
Compile and test CodeHawk (5.0.0)
3m 14s
Compile and test CodeHawk (5.1.1)
3m 15s
Run CodeHawk-Binary tests (4.13.1)
25s
Run CodeHawk-Binary tests (4.12.1)
24s
Run CodeHawk-Binary tests (4.14.1)
20s
Run CodeHawk-C tests (5.1.1)
1m 4s
Run CodeHawk-C tests (4.13.1)
1m 32s
Run CodeHawk-Binary tests (5.0.0)
21s
Run CodeHawk-C tests (4.14.1)
1m 1s
Run CodeHawk-C tests (5.0.0)
1m 12s
Run CodeHawk-Binary tests (5.1.1)
21s
Run CodeHawk-C tests (4.12.1)
1m 37s
24m 27s