fixing CI

2026-07-06 03:01:19 +02:00
parent 9fa97919b3
commit 6541d4dfd6
3 changed files with 3 additions and 3 deletions
@@ -28,7 +28,7 @@ jobs:
        run: zig build flint --release=safe

      - name: Building Phi
-        run: zig build phi --release=safe
+        run: zig build phi --release=safe -Dphi-build-daemon=false

      - name: Generating docs
        run: zig build docs
@@ -25,4 +25,4 @@ jobs:
      run: zig build test-flint --release=safe

    - name: Phi Tests
-      run: zig build test-phi --release=safe
+      run: zig build test-phi --release=safe -Dphi-build-daemon=false
@@ -520,7 +520,7 @@ fn customPhi(

    const build_card = b.option(
        bool,
-        "phi-build-card",
+        "phi-build-daemon",
        "Build Xeon Phi card daemon",
    ) orelse true;