Merge pull request #5559 from roed314/points_type #2062
Job | Run time |
---|---|
4s | |
3m 14s | |
2m 39s | |
7m 4s | |
4m 24s | |
5m 20s | |
5m 22s | |
3m 51s | |
3m 39s | |
4m 42s | |
3m 12s | |
3m 30s | |
3m 18s | |
7m 18s | |
2m 45s | |
4m 2s | |
4m 33s | |
12m 42s | |
8m 25s | |
10m 48s | |
8m 58s | |
1m 49s | |
4m 28s | |
1m 58s | |
1m 53s | |
1h 59m 58s |