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
+3 -5
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit e081b8e446 - Show all commits
.gitea/workflows/pr.yml
+3 -5
View File
@@ -55,16 +55,14 @@ jobs:
- name: Install lua-language-server - name: Install lua-language-server
run: | run: |
mkdir -p ./bin mkdir -p ./luals
# For Ubuntu/Debian # 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 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 -C ./bin tar -xzf lua-language-server-*.tar.gz -C ./luals
rm lua-language-server-*.tar.gz rm lua-language-server-*.tar.gz
echo "Contents of ./bin directory:"
ls -R ./bin
- name: Verify Lua Language Server Installation - name: Verify Lua Language Server Installation
run: ./bin/lua-language-server --version run: ./luals/bin/lua-language-server --version
# - name: Run Lua Language Server # - name: Run Lua Language Server
# run: ./lua-language-server-*/lua-language-server --check ./src --checklevel=Information # run: ./lua-language-server-*/lua-language-server --check ./src --checklevel=Information