From 10132253e9ddecb8f66bc936bbc5e54f7feecb89 Mon Sep 17 00:00:00 2001 From: jj Date: Sun, 27 Jul 2025 22:23:14 +0000 Subject: [PATCH] ci: add linting to ci --- .github/workflows/lint.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 .github/workflows/lint.yml diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml new file mode 100644 index 00000000..6d5f8841 --- /dev/null +++ b/.github/workflows/lint.yml @@ -0,0 +1,16 @@ +name: Check patch series correctness + +on: [push, pull_request] + +permissions: + contents: read + +jobs: + lint: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - uses: actions/setup-python@v5 + with: + python-version: '3.13' + - run: python3 ./devutils/lint.py