From 208ea4bec34f8c8880bcf0f2337b0ef4c577172f Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Fri, 15 Jan 2021 09:47:28 +0100
Subject: [PATCH] Add push to the demo building triggers

---
 .github/workflows/demo.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/demo.yml b/.github/workflows/demo.yml
index 6d1ff88629f..7d3a31bfd49 100644
--- a/.github/workflows/demo.yml
+++ b/.github/workflows/demo.yml
@@ -1,6 +1,6 @@
 name: Test Polyhedron Demo
 
-on: [pull_request]
+on: [push, pull_request]
 
 jobs:
   batch_1: