From ae5501e6cb94a779a5445fc3a82f6dc3f9788422 Mon Sep 17 00:00:00 2001
From: Andreas Schneider <asn@cryptomilk.org>
Date: Tue, 29 Oct 2024 09:30:02 +0100
Subject: [PATCH] github: Run lint/format/type

---
 .github/workflows/ci.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 01115bb..00aeda0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -28,3 +28,21 @@ jobs:
           python -m pip install tox tox-gh-actions
       - name: Test with tox
         run: tox
+
+  check:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        toxenv:
+          - "lint"
+          - "format"
+          - "type"
+    steps:
+      - uses: actions/checkout@v3
+      - name: Install dependencies
+        run: |
+          sudo apt-get install libkrb5-dev
+          python -m pip install --upgrade pip
+          python -m pip install tox tox-gh-actions
+      - name: "Run tox for ${{ matrix.toxenv }}"
+        run: "tox -e ${{ matrix.toxenv }}"