Make actionlint happy

nomeata · Apr 22, 2024 · 11d7b06 · 11d7b06
1 parent e6ec9a7
commit 11d7b06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check-prelude.yml b/.github/workflows/check-prelude.yml
@@ -16,6 +16,6 @@ jobs:
            grep -v -x -F stage0/src/lean.mk.in |
            grep -q .
         then
-          echo "Found stage0 updates, please do not merge using the merge queue" | tee $GITHUB_STEP_SUMMARY
+          echo "Found stage0 updates, please do not merge using the merge queue" | tee "$GITHUB_STEP_SUMMARY"
           exit 1
         fi