[Chore] raise hedgehog
upper bound
#98
Job | Run time |
---|---|
10s | |
9s | |
6m 31s | |
11m 15s | |
10m 57s | |
10m 40s | |
10m 57s | |
16m 32s | |
11m 48s | |
1h 18m 59s |
hedgehog
upper bound
#98
Job | Run time |
---|---|
10s | |
9s | |
6m 31s | |
11m 15s | |
10m 57s | |
10m 40s | |
10m 57s | |
16m 32s | |
11m 48s | |
1h 18m 59s |