Also run mypy on PRs

2023-01-05 01:17:13 +02:00
parent b5b563274d
commit 45ffe0cf48
1 changed files with 3 additions and 0 deletions
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -4,6 +4,9 @@ on:
  push:
    paths:
      - '*.py'
+  pull_request:
+    # The branches below must be a subset of the branches above
+    branches: [ "master" ]

 jobs:
  mypy: