Merge pull request #1301 from GaloisInc/T1300-fix-single-quotes-in-gi…

…thub-actions-syntax CI: Surround 'Windows' in quotes to fix GitHub Actions syntax
GaloisInc · Feb 10, 2025 · 18c710c · 18c710c
2 parents d9d63fd + 8d0b04f
commit 18c710c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/crux-llvm-build.yml b/.github/workflows/crux-llvm-build.yml
@@ -202,7 +202,7 @@ jobs:
         run: cd crucible-debug && ../.github/ci.sh test pkg:crucible-debug
         # NOTE(lb): Not sure what's going on with these tests... and I don't
         # have a Windows machine to debug.
-        if: runner.os != Windows
+        if: runner.os != 'Windows'
 
       - shell: bash
         name: Test crucible-symio