ci: delegate pre-commit linting to central global scoped workflow #119

Merged
Philipp merged 1 commits from ci/remove-redundant-lint-workflow into main 2026-08-31 23:28:52 +02:00
-18
View File
@@ -1,18 +0,0 @@
name: Lint
on:
push:
workflow_dispatch:
jobs:
pre-commit-lint:
name: pre-commit Linting
runs-on: pi
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0
- run: pip install pre-commit
shell: bash
- name: Pre Commit
run: SKIP=no-commit-to-branch pre-commit run -a
shell: bash