From d186617ae56bc18e82264154230f3ca9ba524b38 Mon Sep 17 00:00:00 2001
From: Sascha Doemer <Cf4ThQgxcnxAovOUXTNv@saschadoemer.de>
Date: Wed, 13 Jan 2021 10:11:26 +0100
Subject: [PATCH] Update continuous_integration.yml

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

diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml
index 0f8f4064..b092b9ab 100644
--- a/.github/workflows/continuous_integration.yml
+++ b/.github/workflows/continuous_integration.yml
@@ -1,6 +1,9 @@
 name: Continuous integration
 
 on:
+  push:
+    branches:
+      - develop
   pull_request:
     branches:
       - develop
@@ -65,4 +68,4 @@ jobs:
       - name: Build with Maven
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: mvn -B package --file pom.xml --settings ci/settings.xml
\ No newline at end of file
+        run: mvn -B package --file pom.xml --settings ci/settings.xml