From bb5cac49d028eb53c259ae58e3a007ebfb736fd4 Mon Sep 17 00:00:00 2001
From: Héctor Ramón Jiménez <hector0193@gmail.com>
Date: Mon, 16 Sep 2019 14:31:36 +0200
Subject: Enable GitHub CI on pull requests

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

(limited to '.github')

diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
index f574e930..f9f98ed4 100644
--- a/.github/workflows/integration.yml
+++ b/.github/workflows/integration.yml
@@ -1,5 +1,5 @@
 name: Integration
-on: [push]
+on: [push, pull_request]
 jobs:
   test:
     runs-on: ${{ matrix.os }}
-- 
cgit