Add tune! and change mean to median in benchmark.
#5
| Job | Run time |
|---|---|
| 6m 12s | |
| 6m 14s | |
| 12m 26s |
tune! and change mean to median in benchmark.
#5
| Job | Run time |
|---|---|
| 6m 12s | |
| 6m 14s | |
| 12m 26s |