Run mypy on pull requests (#810)

This commit is contained in:
besendorf
2026-06-17 17:15:11 +02:00
committed by GitHub
parent d590706e62
commit 174ce08812
+4 -1
View File
@@ -1,5 +1,8 @@
name: Mypy
on: workflow_dispatch
on:
pull_request:
branches: [main]
workflow_dispatch:
jobs:
mypy_py3: