Rename is_candidate_block to is_candidate_header. #537
Job | Run time |
---|---|
9m 0s | |
13m 46s | |
9m 23s | |
9m 0s | |
19m 28s | |
8m 34s | |
7m 4s | |
9m 42s | |
9m 29s | |
7m 28s | |
7m 19s | |
10m 15s | |
8m 20s | |
13m 10s | |
13m 17s | |
17m 46s | |
17m 22s | |
3h 10m 23s |
Job | Run time |
---|---|
9m 0s | |
13m 46s | |
9m 23s | |
9m 0s | |
19m 28s | |
8m 34s | |
7m 4s | |
9m 42s | |
9m 29s | |
7m 28s | |
7m 19s | |
10m 15s | |
8m 20s | |
13m 10s | |
13m 17s | |
17m 46s | |
17m 22s | |
3h 10m 23s |