Merge branch 'main' into ci/run-mypy-on-pull-requests

Run mypy on pull requests
2026-10-22 23:28:23 +02:00 · 2026-06-17 17:13:19 +02:00 · 2026-06-06 17:31:55 +02:00
1 changed files with 4 additions and 1 deletions
@@ -1,5 +1,8 @@
 name: Mypy
-on: workflow_dispatch
+on:
+  pull_request:
+    branches: [main]
+  workflow_dispatch:

 jobs:
  mypy_py3:
Author	SHA1	Message	Date
besendorf	fb1972d56a	Merge branch 'main' into ci/run-mypy-on-pull-requests	2026-06-17 17:13:19 +02:00
Janik Besendorf	c28a8c4843	Run mypy on pull requests	2026-06-06 17:31:55 +02:00