Spearhead/spearhead
3
0
Fork 0
Code Issues 20 Pull Requests 1 Actions Packages Releases 2 Wiki Activity

added lua check CI step #49

Merged
dutchie031 merged 72 commits from CI into develop 2026-09-20 16:08:04 +00:00
Conversation 0 Commits 72 Files Changed 61
+4 -4
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit ccd38078f3 - Show all commits
.gitea/workflows/pr.yml
+4 -4
View File
@@ -57,14 +57,14 @@ jobs:
run: |
# For Ubuntu/Debian
wget https://github.com/LuaLS/lua-language-server/releases/download/${{ env.LUA_LANGUAGE_SERVER_VERSION }}/lua-language-server-${{ env.LUA_LANGUAGE_SERVER_VERSION }}-linux-x64.tar.gz
tar -xzf lua-language-server-*.tar.gz
tar -xzf lua-language-server-*.tar.gz -C ./bin
rm lua-language-server-*.tar.gz
- name: Verify Lua Language Server Installation
run: ./lua-language-server-*/lua-language-server --version
run: ./bin/lua-language-server --version
- name: Run Lua Language Server
run: ./lua-language-server-*/lua-language-server --check ./src --checklevel=Information
# - name: Run Lua Language Server
# run: ./lua-language-server-*/lua-language-server --check ./src --checklevel=Information