Let user pick the log level for the language server (#1754) #725
| Job | Run time |
|---|---|
| 28m 3s | |
| 38m 18s | |
| 29m 12s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 21m 57s | |
| 22m 15s | |
| 21m 49s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 30m 45s | |
| 28m 9s | |
| 37m 50s | |
| 8m 4s | |
| 2m 31s | |
| 25m 56s | |
| 2m 38s | |
| 2m 29s | |
| 12m 27s | |
| 12m 49s | |
| -1s | |
| 27m 31s | |
| 4m 10s | |
| 3m 30s | |
| 35m 22s | |
| 7s | |
| 0s | |
| 0s | |
| 0s | |
| 5s | |
| 0s | |
| 0s | |
| 0s | |
| 6h 35m 56s |