From fbc7ede75ad447741ae062daa8948cda825b493f Mon Sep 17 00:00:00 2001
From: Federico Di Pierro <nierro92@gmail.com>
Date: Fri, 13 May 2022 16:49:41 +0200
Subject: [PATCH] Update .github/workflows/ci.yml

Signed-off-by: Federico Di Pierro <nierro92@gmail.com>

Co-authored-by: Leonardo Grasso <me@leonardograsso.com>
---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 412f4965..2d05c7f2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,8 @@ name: CI Build
 on:
   pull_request:
     branches: [master]
+  push:
+    branches: [master]
 
 jobs:
   build-minimal: