fix ci

azuline · May 12, 2024 · 8a2f202 · 8a2f202
1 parent 60c8a5c
commit 8a2f202
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 3 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -25,4 +25,4 @@ jobs:
         run: nix develop --command make lintcheck
       - name: Build
         if: success() || failure()
-        run: nix build .
+        run: nix build .#all
diff --git a/flake.nix b/flake.nix
@@ -95,6 +95,14 @@
           '';
           doCheck = false;
         };
+        # Mainly for building everything in CI.
+        all = pkgs.buildEnv {
+          name = "rose-all";
+          paths = [
+            rose-zig
+            rose-py
+          ];
+        };
       };
     });
 }
diff --git a/rose/ffi.py b/rose/ffi.py
@@ -1,4 +1,3 @@
-# type: ignore
 from cffi import FFI
 
 ffi = FFI()
@@ -13,4 +12,4 @@
 
 
 def get_release() -> str:
-    return ffi.string(ffi.gc(lib.getRelease(), lib.free_str)).decode("utf-8")
+    return ffi.string(ffi.gc(lib.getRelease(), lib.free_str)).decode("utf-8")  # type: ignore