[lsp-magik] Add extra settings, re-order and remove obsolete setting #5293
Job | Run time |
---|---|
2m 10s | |
2m 26s | |
2m 26s | |
3m 31s | |
3m 42s | |
2m 27s | |
3m 42s | |
2m 30s | |
1m 26s | |
2m 38s | |
2m 8s | |
29m 6s |
Job | Run time |
---|---|
2m 10s | |
2m 26s | |
2m 26s | |
3m 31s | |
3m 42s | |
2m 27s | |
3m 42s | |
2m 30s | |
1m 26s | |
2m 38s | |
2m 8s | |
29m 6s |