From 0b9c2db09f57c620bb42de9962555d7a0b57f10b Mon Sep 17 00:00:00 2001
From: Michael Hanke <michael.hanke@gmail.com>
Date: Mon, 23 Oct 2023 10:10:44 +0200
Subject: [PATCH] Install dependencies for mypy run

---
 .github/workflows/mypy.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
index d91ae829..69d8a7ae 100644
--- a/.github/workflows/mypy.yml
+++ b/.github/workflows/mypy.yml
@@ -17,6 +17,10 @@ jobs:
           architecture: x64
       - name: Checkout
         uses: actions/checkout@v3
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install -r requirements-devel.txt
       - name: Install mypy
         run: pip install mypy
       - name: Run mypy