From 61b34f16deb5e5433a5f9d6a8ab1fec2561e3081 Mon Sep 17 00:00:00 2001
From: Jonas Dedden <university@jonas-dedden.de>
Date: Wed, 7 Aug 2024 11:13:09 +0200
Subject: [PATCH] Include simple mypy job

---
 .github/workflows/lint.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 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 0000000..21a18e1
--- /dev/null
+++ b/.github/workflows/lint.yml
@@ -0,0 +1,23 @@
+name: Lint
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  mypy:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Setup Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.11.8
+          architecture: x64
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Install mypy & wheel
+        run: pip install mypy wheel
+      - name: Install package
+        run: python setup.py bdist_wheel && pip install dist/crc32c*.whl
+      - name: Run mypy
+        run: mypy --strict test/test_crc32c.py