Skip to content
dune CI

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

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 #252

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (5.1.1)
6m 51s
Compile and test CodeHawk (4.14.1)
6m 37s
Compile and test CodeHawk (4.12.1)
6m 44s
Compile and test CodeHawk (5.0.0)
6m 3s
Compile and test CodeHawk (4.13.1)
6m 29s
Run CodeHawk-Binary tests (5.1.1)
20s
Run CodeHawk-Binary tests (4.13.1)
19s
Run CodeHawk-Binary tests (4.14.1)
17s
Run CodeHawk-Binary tests (5.0.0)
17s
Run CodeHawk-Binary tests (4.12.1)
24s
Run CodeHawk-C tests (4.14.1)
1m 10s
Run CodeHawk-C tests (4.12.1)
1m 53s
Run CodeHawk-C tests (5.1.1)
1m 23s
Run CodeHawk-C tests (5.0.0)
1m 10s
Run CodeHawk-C tests (4.13.1)
1m 37s
41m 34s