feat: add integrations.coq_nvim as a new completion engine
#986
| Job | Run time |
|---|---|
| 45s | |
| 45s |
integrations.coq_nvim as a new completion engine
#986
| Job | Run time |
|---|---|
| 45s | |
| 45s |