From 72bcabfd11fc6a835b6108cce26167ce1e542854 Mon Sep 17 00:00:00 2001
From: Florian Zschocke <f.zschocke+git@gmail.com>
Date: Thu, 27 Oct 2022 23:33:30 +0200
Subject: ci: Build pull requests, too

Build pull requests, just like we build on every push.
---
 .github/workflows/ci-build.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to '.github')

diff --git a/.github/workflows/ci-build.yml b/.github/workflows/ci-build.yml
index 1b1b4844..2bbd2af5 100644
--- a/.github/workflows/ci-build.yml
+++ b/.github/workflows/ci-build.yml
@@ -1,10 +1,14 @@
-name: Continous build on every push
+name: Continous integration
 
 on:
   push:
     branches-ignore:
       - 'release*'
       - gh-pages
+  pull_request:
+    branches-ignore:
+      - 'release*'
+      - gh-pages
 
 jobs:
   build_linux:
-- 
cgit v1.2.3