Skip to content
dune CI

CHB:ARM: only enable POP-rdef-return when constructing signatures #251

Sign in to view logs

CHB:ARM: only enable POP-rdef-return when constructing signatures

CHB:ARM: only enable POP-rdef-return when constructing signatures #251

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (5.1.1)
6m 37s
Compile and test CodeHawk (5.0.0)
6m 56s
Compile and test CodeHawk (4.12.1)
6m 33s
Compile and test CodeHawk (4.14.1)
6m 22s
Compile and test CodeHawk (4.13.1)
6m 35s
Run CodeHawk-Binary tests (4.14.1)
22s
Run CodeHawk-Binary tests (4.12.1)
25s
Run CodeHawk-C tests (5.1.1)
1m 18s
Run CodeHawk-C tests (4.14.1)
1m 7s
Run CodeHawk-Binary tests (5.0.0)
16s
Run CodeHawk-Binary tests (5.1.1)
16s
Run CodeHawk-Binary tests (4.13.1)
18s
Run CodeHawk-C tests (4.12.1)
1m 52s
Run CodeHawk-C tests (5.0.0)
1m 13s
Run CodeHawk-C tests (4.13.1)
1m 38s
41m 48s