feat: add integrations.coq_nvim as a new completion engine
#582
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: lua_ls-typecheck | |
| on: | |
| pull_request: ~ | |
| push: | |
| branches: | |
| - '*' | |
| jobs: | |
| build: | |
| name: Type Check Code Base | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Code | |
| uses: actions/checkout@v3 | |
| - name: Checkout dependency neodev # get neodev and neovim/runtime for builtin types | |
| uses: actions/checkout@v3 | |
| with: | |
| repository: "folke/neodev.nvim" | |
| path: "deps/neodev.nvim" | |
| - name: Checkout neovim for type annotations | |
| uses: actions/checkout@v3 | |
| with: | |
| repository: "neovim/neovim" | |
| path: "deps/neovim" | |
| - uses: leafo/gh-actions-lua@v9 # get luarocks dependencies for their types (eg `PathlibPath`) | |
| with: | |
| luaVersion: "5.1" | |
| - uses: leafo/gh-actions-luarocks@v4 | |
| - name: install dependencies | |
| run: | | |
| luarocks init | |
| luarocks install --only-deps ./*.rockspec | |
| - name: Type Check Code Base | |
| uses: mrcjkb/[email protected] | |
| with: | |
| configpath: .github/workflows/.luarc.json | |
| directories: | | |
| lua |