Use region_map::update_box
instead of update_region
where possible
#4653
Job | Run time |
---|---|
7s | |
16m 2s | |
14m 53s | |
15m 53s | |
15m 53s | |
16m 28s | |
17m 37s | |
21m 21s | |
17m 4s | |
19m 30s | |
2m 22s | |
9m 7s | |
23s | |
0s | |
2h 46m 40s |