From 3967bcb72dccbaf44435ca6b866b1d960afc7f1c Mon Sep 17 00:00:00 2001
From: David Holdeman <david@chuckwagoncomputing.com>
Date: Sat, 11 Mar 2023 08:15:19 -0600
Subject: [PATCH] also lint on push to master (#444)

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

diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
index 04b7a60c..2e7c8d71 100644
--- a/.github/workflows/lint.yaml
+++ b/.github/workflows/lint.yaml
@@ -1,7 +1,10 @@
 name: Lint
 
 on:
-  pull_request
+  push:
+    branches:
+      - master
+  pull_request:
 
 jobs:
   lint: