perf(language_server): only restart internal linter once when multipl… #25
| Job | Run time |
|---|---|
| 3m 10s | |
| 2m 35s | |
| 4m 29s | |
| 38s | |
| 6m 25s | |
| 3m 41s | |
| 5s | |
| 1m 39s | |
| 1m 27s | |
| 5m 22s | |
| 2m 20s | |
| 31m 51s |
| Job | Run time |
|---|---|
| 3m 10s | |
| 2m 35s | |
| 4m 29s | |
| 38s | |
| 6m 25s | |
| 3m 41s | |
| 5s | |
| 1m 39s | |
| 1m 27s | |
| 5m 22s | |
| 2m 20s | |
| 31m 51s |