From 12b231ba6bf5797d579b7aee0f4fbc70bb8b6a94 Mon Sep 17 00:00:00 2001
From: Erik Heeren <erik.heeren@epfl.ch>
Date: Mon, 9 Oct 2023 14:07:41 +0200
Subject: [PATCH] Try this

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

diff --git a/.github/workflows/waste_time.yaml b/.github/workflows/waste_time.yaml
index b9acc26..aa00203 100644
--- a/.github/workflows/waste_time.yaml
+++ b/.github/workflows/waste_time.yaml
@@ -36,7 +36,7 @@ jobs:
   meowtrix:
     runs-on: ${{ matrix.os }}
     name: Meowtrix ${{ matrix.os }} - ${{ matrix.config.moo }}
-    if: '${{ ! github.event.pull_request.draft }}'
+    if: "${{ (! github.event.pull_request.draft) || (matrix.config.moo == 'boo')}}"
     strategy:
       matrix:
         os: [ macOS-11, ubuntu-latest ]