CI: run lint on pull requests

trnila · Nov 9, 2023 · 18a1e79 · 18a1e79
1 parent 3593ef8
commit 18a1e79
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
@@ -1,5 +1,7 @@
 name: lint
-on: push
+on: 
+ push:
+ pull_request:
 
 jobs:
   lint: