ci: Relax OS from == Linux to != Windows for crucible-debug tests

GaloisInc · Feb 6, 2025 · 2ea8bb5 · 2ea8bb5
1 parent 95907dc
commit 2ea8bb5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/crux-llvm-build.yml b/.github/workflows/crux-llvm-build.yml
@@ -200,7 +200,9 @@ jobs:
       - shell: bash
         name: Test crucible-debug
         run: cd crucible-debug && ../.github/ci.sh test pkg:crucible-debug
-        if: runner.os == 'Linux'
+        # 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
 
       - shell: bash
         name: Test crucible-symio