add strict mode for WKT #3137
Job | Run time |
---|---|
23s | |
10m 52s | |
3m 28s | |
4m 9s | |
5m 15s | |
6m 39s | |
10m 6s | |
4m 34s | |
6m 57s | |
5m 32s | |
12m 55s | |
5m 30s | |
4m 45s | |
6m 56s | |
5m 22s | |
5m 32s | |
4m 26s | |
6m 17s | |
4m 52s | |
4m 58s | |
4m 59s | |
5m 23s | |
7m 13s | |
6m 10s | |
6m 8s | |
6m 43s | |
2h 36m 4s |