From fadfbafd3bf1364db39e764bba3f9d8714aa10a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mikkel=20H=C3=B8jlund=20Larsen?=
 <mikkelhojlundgrontmij@gmail.com>
Date: Tue, 22 Aug 2023 15:18:11 +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 2f4d59b..50b033a 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