Merge pull request #316 from jwillemsen/jwi-cpp14 #889
Job | Run time |
---|---|
41m 40s | |
55m 10s | |
4h 46m 54s | |
49m 4s | |
54m 44s | |
52m 54s | |
1h 2m 10s | |
48m 53s | |
2h 36m 56s | |
13h 28m 25s |
Job | Run time |
---|---|
41m 40s | |
55m 10s | |
4h 46m 54s | |
49m 4s | |
54m 44s | |
52m 54s | |
1h 2m 10s | |
48m 53s | |
2h 36m 56s | |
13h 28m 25s |