Merge pull request #8429 from ThomasWaldmann/improve-matching #4087
Job | Run time |
---|---|
4s | |
3m 9s | |
2m 59s | |
10m 42s | |
11m 7s | |
10m 38s | |
33m 3s | |
12m 34s | |
11m 59s | |
23m 25s | |
1h 59m 40s |
Job | Run time |
---|---|
4s | |
3m 9s | |
2m 59s | |
10m 42s | |
11m 7s | |
10m 38s | |
33m 3s | |
12m 34s | |
11m 59s | |
23m 25s | |
1h 59m 40s |