Merge pull request #8429 from ThomasWaldmann/improve-matching #566
Job | Run time |
---|---|
8s | |
3m 15s | |
3m 1s | |
11m 5s | |
11m 16s | |
11m 11s | |
32m 56s | |
13m 32s | |
11m 47s | |
23m 26s | |
2h 1m 37s |
Job | Run time |
---|---|
8s | |
3m 15s | |
3m 1s | |
11m 5s | |
11m 16s | |
11m 11s | |
32m 56s | |
13m 32s | |
11m 47s | |
23m 26s | |
2h 1m 37s |