Merge branch 'master' into no_rename

env0 · Oct 12, 2020 · 53f0880 · 53f0880
2 parents 3be50f3 + a215c41
commit 53f0880
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,8 @@
 name: ci
 
-on: [push]
+on:
+  pull_request:
+    types: [created, synchronize]
 
 jobs: