Skip to content
dune CI

CHB:ARM: disable hearistic for finding non-returning functions #117

Sign in to view logs

CHB:ARM: disable hearistic for finding non-returning functions

CHB:ARM: disable hearistic for finding non-returning functions #117

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
6m 57s
Compile and test CodeHawk (4.13.1)
6m 50s
Compile and test CodeHawk (4.14.1)
6m 57s
Compile and test CodeHawk (5.0.0)
7m 15s
Compile and test CodeHawk (5.1.1)
6m 51s
Run CodeHawk-C tests (4.12.1)
1m 30s
Run CodeHawk-C tests (4.13.1)
1m 29s
Run CodeHawk-Binary tests (4.12.1)
26s
Run CodeHawk-Binary tests (4.13.1)
26s
Run CodeHawk-C tests (4.14.1)
1m 4s
Run CodeHawk-Binary tests (4.14.1)
23s
Run CodeHawk-C tests (5.0.0)
1m 11s
Run CodeHawk-Binary tests (5.0.0)
27s
Run CodeHawk-C tests (5.1.1)
1m 36s
Run CodeHawk-Binary tests (5.1.1)
21s
43m 43s