ci: Change event to push (#1692)

ligato · Jul 31, 2020 · 7a0e5ba · 7a0e5ba
1 parent dc076fc
commit 7a0e5ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 ---
 name: CI
-on: pull_request
+on: push
 
 jobs:
   yamllint: