Introduce user settings #5926
Job | Run time |
---|---|
7m 15s | |
7m 16s | |
10m 27s | |
11m 26s | |
11m 30s | |
10m 36s | |
11m 27s | |
11m 22s | |
10m 41s | |
38s | |
1h 32m 38s |
Job | Run time |
---|---|
7m 15s | |
7m 16s | |
10m 27s | |
11m 26s | |
11m 30s | |
10m 36s | |
11m 27s | |
11m 22s | |
10m 41s | |
38s | |
1h 32m 38s |