run CI on pull request too

ddanilov · Nov 19, 2023 · 733003e · 733003e
1 parent 1192c24
commit 733003e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,8 +3,7 @@
 
 name: CI
 
-on:
-  push:
+on: [push, pull_request]
 
 permissions:
   contents: write