From 5862f99327fef9076e53c34984980314b598a28e Mon Sep 17 00:00:00 2001
From: Erik Huelsmann <ehuels@gmail.com>
Date: Sat, 4 Nov 2023 14:22:04 +0100
Subject: [PATCH] Build dev environment on 'master' push

Instead of rerunning tests on each _closed_ PR, trigger
building the dev environment when a push to the master branch
has happened.
---
 .github/workflows/main.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 46bcf18c2f2..4b585309b80 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -18,7 +18,7 @@ on:
       - '*'
     paths-ignore:
       - '.circleci'
-    types: [opened, reopened, synchronize, closed]
+    types: [opened, reopened, synchronize]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
@@ -533,7 +533,7 @@ jobs:
           exit 1
 
   build-dev:
-    if: github.event.pull_request.merged == true
+    if: github.event_name = 'push' && github.ref == 'refs/heads/master'
 
     runs-on: ubuntu-latest