From 19f3a2fa92a61ddb785fc4e42d73792c1d0e772c Mon Sep 17 00:00:00 2001
From: bnewbold <bnewbold@robocracy.org>
Date: Mon, 27 Mar 2023 08:19:26 -0700
Subject: [PATCH] CI: run on all PRs, and on main (after merge/push) (#355)

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

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 207e076ecd..d61bfe7707 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -2,8 +2,12 @@ name: Lint
 
 on:
   pull_request:
+  push:
     branches:
       - main
+concurrency:
+  group: '${{ github.workflow }}-${{ github.head_ref || github.ref }}'
+  cancel-in-progress: true
 
 jobs:
   linting: