ci: add more linting steps
CI / lint (push) Skipped
CI / test (3.11) (push) Skipped
CI / test (3.12) (push) Skipped
CI / test (3.13) (push) Skipped
CI / lint (pull_request) Failing after 20s
CI / test (3.11) (pull_request) Skipped
CI / test (3.12) (pull_request) Skipped
CI / test (3.13) (pull_request) Skipped

This commit is contained in:
2026-08-06 17:34:12 +02:00
parent 08352a3d77
commit 01771c937a
+23 -1
View File
@@ -1,8 +1,13 @@
name: CI
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
lint:
@@ -22,6 +27,23 @@ jobs:
source .venv/bin/activate
ruff format --check
- name: Lint
run: |
source .venv/bin/activate
ruff check
- name: Checkout pyright diff plugin
uses: https://github.com/actions/checkout@v5
with:
repository: mx/diff_quality_basedpyright
path: diff_quality_basedpyright
- name: Typecheck Diff
run: |
source .venv/bin/activate
uv pip install -e diff_quality_basedpyright
diff-quality --violations=basedpyright --fail-under=100
test:
runs-on: ubuntu-latest
needs: "lint"