From 174ce088120fa21b91d04edb7316ba96112d0738 Mon Sep 17 00:00:00 2001
From: besendorf <janik@besendorf.org>
Date: Wed, 17 Jun 2026 17:15:11 +0200
Subject: [PATCH] Run mypy on pull requests (#810)

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

diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
index f68d3ac..6a80720 100644
--- a/.github/workflows/mypy.yml
+++ b/.github/workflows/mypy.yml
@@ -1,5 +1,8 @@
 name: Mypy
-on: workflow_dispatch
+on:
+  pull_request:
+    branches: [main]
+  workflow_dispatch:
 
 jobs:
   mypy_py3: