update to edition 2018, allow internal_features #647
Job | Run time |
---|---|
6s | |
18s | |
1m 22s | |
1m 26s | |
1m 24s | |
1m 25s | |
1m 22s | |
1m 23s | |
1m 22s | |
1m 26s | |
1m 19s | |
1m 16s | |
1m 16s | |
1m 7s | |
1m 20s | |
1m 21s | |
53s | |
1m 17s | |
1m 15s | |
1m 17s | |
1m 16s | |
25m 11s |
Job | Run time |
---|---|
6s | |
18s | |
1m 22s | |
1m 26s | |
1m 24s | |
1m 25s | |
1m 22s | |
1m 23s | |
1m 22s | |
1m 26s | |
1m 19s | |
1m 16s | |
1m 16s | |
1m 7s | |
1m 20s | |
1m 21s | |
53s | |
1m 17s | |
1m 15s | |
1m 17s | |
1m 16s | |
25m 11s |