enhance: restart language server each time after installing it #12
| Job | Run time |
|---|---|
| 37s | |
| 1m 7s | |
| 55s | |
| 37s | |
| 39s | |
| 52s | |
| 47s | |
| 33s | |
| 33s | |
| 33s | |
| 33s | |
| 33s | |
| 33s | |
| 33s | |
| 46s | |
| 1m 30s | |
| 1m 1s | |
| 42s | |
| 1m 16s | |
| 56s | |
| 56s | |
| 16m 32s |
| Job | Run time |
|---|---|
| 37s | |
| 1m 7s | |
| 55s | |
| 37s | |
| 39s | |
| 52s | |
| 47s | |
| 33s | |
| 33s | |
| 33s | |
| 33s | |
| 33s | |
| 33s | |
| 33s | |
| 46s | |
| 1m 30s | |
| 1m 1s | |
| 42s | |
| 1m 16s | |
| 56s | |
| 56s | |
| 16m 32s |