whoops

2026-07-04 21:06:12 +02:00
parent 72001d9728
commit 92e86ba34f
2 changed files with 4 additions and 4 deletions
@@ -19,13 +19,13 @@ jobs:
    - uses: https://codeberg.org/mlugg/setup-zig@v2

    - name: Building
-      run: zig build -Dno-example=true
+      run: zig build

    - name: Building FFI
-      run: zig build ffi-c -Dno-example=true
+      run: zig build ffi-c

    - name: Generating docs
-      run: zig build docs -Dno-example=true
+      run: zig build docs

    - name: Deploying docs
      if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
@@ -20,4 +20,4 @@ jobs:
    - uses: https://codeberg.org/mlugg/setup-zig@v2

    - name: Test
-      run: zig build test -Dno-example=true --release=fast
+      run: zig build test --release=fast