From 25c5843f10c01c29a198f3579162eec689bf0868 Mon Sep 17 00:00:00 2001 From: Shuhei Kadowaki Date: Wed, 23 Sep 2026 03:26:55 +0900 Subject: [PATCH] ci: add JETLS diagnostics check workflow Run `jetls check` on `src/LoweredCodeUtils.jl` via the `aviatesk/JETLS.jl/.github/actions/check` composite action, using the settings in `.JETLSConfig.toml`. Co-Authored-By: Claude Fable 5.1 --- .github/workflows/JETLS.yml | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 .github/workflows/JETLS.yml diff --git a/.github/workflows/JETLS.yml b/.github/workflows/JETLS.yml new file mode 100644 index 0000000..6785c44 --- /dev/null +++ b/.github/workflows/JETLS.yml @@ -0,0 +1,20 @@ +name: JETLS +on: + pull_request: + push: + branches: + - master + tags: ["*"] +jobs: + check: + name: "JETLS diagnostics check" + runs-on: ubuntu-latest + timeout-minutes: 10 + steps: + - uses: actions/checkout@v7 + # Installs JETLS and runs `jetls check` with the settings from `.JETLSConfig.toml`. + # Test files are configured there with `full_analysis = false`, so only the package + # entry point is checked here. + - uses: aviatesk/JETLS.jl/.github/actions/check@release + with: + files: src/LoweredCodeUtils.jl