From 845182b230a48d0cc54906d365912a6f0651babf Mon Sep 17 00:00:00 2001
From: Erdos Balint <valerauko@gmail.com>
Date: Mon, 20 Nov 2023 15:31:15 +0900
Subject: [PATCH] Check for boxed math too

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

diff --git a/.github/workflows/reflection.yaml b/.github/workflows/reflection.yaml
index afbf298..6f5d7e2 100644
--- a/.github/workflows/reflection.yaml
+++ b/.github/workflows/reflection.yaml
@@ -16,7 +16,7 @@ jobs:
 
       - name: Run check
         run: |
-          result=$(lein check 2> >(grep --line-buffered -P 'Reflection warning, sleepy'))
+          result=$(lein check 2> >(grep --line-buffered -P 'warning, sleepy'))
           if [[ $result ]]; then
             echo "$result"
             exit 1