Update workflow to run on push to master

steinwurf · Aug 22, 2023 · fadfbaf · fadfbaf
1 parent 48e01ed
commit fadfbaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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