From 3904beefa867f4879756091fb432832041117dda Mon Sep 17 00:00:00 2001
From: Marco Ieni <11428655+MarcoIeni@users.noreply.github.com>
Date: Sat, 26 Dec 2020 12:33:28 +0100
Subject: ci: run also on push

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index da7d95c9..e09da869 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,4 +1,4 @@
-on: [pull_request]
+on: [push, pull_request]
 name: Continuous Integration
 
 jobs:
-- 
cgit v1.2.3