Skip to content

feat: Integrate LuaLS check in CI#7112

Open
mbergen wants to merge 27 commits intomainfrom
ci-luals
Open

feat: Integrate LuaLS check in CI#7112
mbergen wants to merge 27 commits intomainfrom
ci-luals

Conversation

@mbergen
Copy link
Collaborator

@mbergen mbergen commented Feb 18, 2026

Summary

Uses LuaLS' --check to check for type errors wrt to annotations in CI.

In case we want to proceed with this:

  • Stacked PR that resolves reported type errors
  • (Optional) Follow-up to report result similar to luacheck

How did you test this change?

Self-tested in actions

@mbergen mbergen added the CI/CD label Feb 18, 2026
@mbergen
Copy link
Collaborator Author

mbergen commented Feb 18, 2026

Debugging Github Workflows is so much fun 🙃

@mbergen mbergen marked this pull request as ready for review February 18, 2026 15:00
@mbergen mbergen requested review from a team as code owners February 18, 2026 15:00
Comment on lines 75 to 81
- name: Setup LuaLS
run: |
curl -L https://github.com/LuaLS/lua-language-server/releases/download/3.17.1/lua-language-server-3.17.1-linux-x64.tar.gz | tar -xzv

- name: Check
run: |
./bin/lua-language-server --configpath ${{ github.workspace }}/.luarc.json --check ./
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

something for future: maybe make this a separate action

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, probably a good idea, but didn't want to bother with that for now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants