Merge pull request #2224 from jwillemsen/jwi-cpp17minimum #244
Job | Run time |
---|---|
55m 29s | |
34m 3s | |
34m 50s | |
40m 39s | |
34m 23s | |
43m 53s | |
36m 7s | |
1h 13m 0s | |
37m 5s | |
36m 14s | |
43m 58s | |
7h 49m 41s |
Job | Run time |
---|---|
55m 29s | |
34m 3s | |
34m 50s | |
40m 39s | |
34m 23s | |
43m 53s | |
36m 7s | |
1h 13m 0s | |
37m 5s | |
36m 14s | |
43m 58s | |
7h 49m 41s |