add setting for disable lsp completion #136
build.yml
on: push
Build
3m 0s
Test
2m 7s
Inspect code
5m 40s
Verify plugin
5m 35s
Release draft
4s
Annotations
1 error, 133 warnings, and 37 notices
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
lean4ij-0.0.18.beta.0
Expired
|
13.2 MB |
|
pluginVerifier-result
Expired
|
17.7 KB |
|