From 29fee0833b291215657f81f8dd0f455dc1e8da6f Mon Sep 17 00:00:00 2001
From: Vitus <vitusortner.dev@gmail.com>
Date: Sat, 25 Jan 2020 22:03:54 +0100
Subject: [PATCH] Trigger CI on push to develop (#247)

---
 .github/workflows/ci.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 44484fe8..5c364fc3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,10 @@
 name: CI
 
-on: pull_request
+on:
+  push:
+    branches:
+      - develop
+  pull_request:
 
 jobs:
   floor-annotation: