fixing CI

2026-06-03 19:27:21 +02:00
parent df57df44cb
commit 431a634290
4 changed files with 37 additions and 34 deletions
@@ -6,10 +6,6 @@ on:
  pull_request:
    branches: [ "master" ]

-permissions:
-  contents: read
-  deployments: write
-
 jobs:
  build:
    runs-on: ubuntu-latest
@@ -25,6 +21,9 @@ jobs:
    - name: Building
      run: zig build -Dno-example=true

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