Merge branch 'devel' into topic/gar-optimizations #518
Job | Run time |
---|---|
10m 7s | |
11m 18s | |
9m 58s | |
11m 8s | |
7m 9s | |
10m 50s | |
6m 22s | |
11m 32s | |
15m 14s | |
15m 11s | |
20m 28s | |
20m 3s | |
3s | |
2h 29m 23s |
Job | Run time |
---|---|
10m 7s | |
11m 18s | |
9m 58s | |
11m 8s | |
7m 9s | |
10m 50s | |
6m 22s | |
11m 32s | |
15m 14s | |
15m 11s | |
20m 28s | |
20m 3s | |
3s | |
2h 29m 23s |