lint when pushed on main or develop (#22)

psuzn · Sep 22, 2023 · 441cb24 · 441cb24
1 parent 075261d
commit 441cb24
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
@@ -3,7 +3,10 @@ name: Lint and verify
 on:
   pull_request:
   workflow_dispatch:
-
+  push:
+    branches:
+      - 'main'
+      - 'develop'
 jobs:
   lint:
     runs-on: ubuntu-latest