From 55660f3d6731a0033cfa48572dbabf3c9d3e18cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mikkel=20H=C3=B8jlund=20Larsen?=
 <mikkelhojlundgrontmij@gmail.com>
Date: Tue, 22 Aug 2023 16:20:56 +0200
Subject: [PATCH] Update workflow to run on push to master

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

diff --git a/.github/workflows/nodebug.yml b/.github/workflows/nodebug.yml
index b05228e..a82d0cb 100644
--- a/.github/workflows/nodebug.yml
+++ b/.github/workflows/nodebug.yml
@@ -8,7 +8,7 @@ name: No Assertions
   push:
     branches:
     - master
-  pull_request: null
+  pull_request:
 jobs:
   ndebug:
     name: No Assertions