From 45ffe0cf48848af5e2d3f16410858b77b50a6c93 Mon Sep 17 00:00:00 2001
From: rany2 <rany2@riseup.net>
Date: Thu, 5 Jan 2023 01:17:13 +0200
Subject: [PATCH] Also run mypy on PRs

---
 .github/workflows/lint.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index ea05295..3941425 100644
--- 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: