Merge pull request #1603 from matthiasblaesing/stabilize #747
Job | Run time |
---|---|
8m 53s | |
1m 38s | |
8m 21s | |
1m 28s | |
7m 26s | |
1m 18s | |
7m 37s | |
1m 23s | |
7m 23s | |
45m 27s |
Job | Run time |
---|---|
8m 53s | |
1m 38s | |
8m 21s | |
1m 28s | |
7m 26s | |
1m 18s | |
7m 37s | |
1m 23s | |
7m 23s | |
45m 27s |