diff --git a/.github/workflows/check-tools.yml b/.github/workflows/check-tools.yml new file mode 100644 index 00000000..448af63c --- /dev/null +++ b/.github/workflows/check-tools.yml @@ -0,0 +1,20 @@ +name: Check Tools Consistency + +# Runs on every PR (no path filter on purpose): a new or renamed tool must trip +# this check even when nobody touched tools.json or the install/convert scripts. +on: + pull_request: + push: + branches: [main] + +jobs: + check-tools: + name: tools.json is the single source of truth + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + + - name: Validate tool set + run: | + chmod +x scripts/check-tools.sh + ./scripts/check-tools.sh