Add version support to workspace/publishDiagnostics (#565)
#971
| Job | Run time |
|---|---|
| 2m 41s | |
| 2m 55s | |
| 3m 4s | |
| 8m 40s |
workspace/publishDiagnostics (#565)
#971
| Job | Run time |
|---|---|
| 2m 41s | |
| 2m 55s | |
| 3m 4s | |
| 8m 40s |