chore: Use pre-built Lean binary in Nix build

.github/workflows/ci.yml

@@ -30,5 +30,5 @@ jobs:
         with:
           nix_path: nixpkgs=channel:nixos-unstable
           github_access_token: ${{ secrets.GITHUB_TOKEN }}
-      - run: nix build --accept-flake-config
-      - run: nix run --accept-flake-config
+      - run: nix build
+      - run: nix run

blake3.nix

@@ -26,7 +26,7 @@
   blake3-c = pkgs.stdenv.mkDerivation {
     name = "blake3-c";
     src = ./.;
-    buildInputs = [pkgs.gcc pkgs.lean.lean-all];
+    buildInputs = [pkgs.gcc pkgs.lean.lean];
     buildPhase = builtins.concatStringsSep "\n" buildSteps;
     installPhase = ''
       mkdir -p $out/lib $out/include
@@ -40,7 +40,7 @@
     name = "blake3-lib";
     src = ./.;
     roots = ["Blake3"];
-    staticLibDeps = [ "${blake3-c}/lib" ];
+    staticLibDeps = ["${blake3-c}/lib"];
     groupStaticLibs = true;
   };
 

flake.nix

@@ -1,16 +1,8 @@
 {
   description = "Blake3 Nix Flake";
 
-  nixConfig = {
-    extra-substituters = [
-      "https://cache.garnix.io"
-    ];
-    extra-trusted-public-keys = [
-      "cache.garnix.io:CTFPyKSLcx5RMJKfLo5EEPUObbA78b0YQ2DTCJXqr9g="
-    ];
-  };
-
   inputs = {
+    # Follow lean4/nixpkgs so we stay in sync
     nixpkgs.follows = "lean4-nix/nixpkgs";
     flake-parts.url = "github:hercules-ci/flake-parts";
     lean4-nix.url = "github:lenianiva/lean4-nix";
@@ -48,12 +40,13 @@
         };
 
         packages = {
-          default = ((lean4-nix.lake {inherit pkgs;}).mkPackage {
-            src = ./.;
-            roots = ["Blake3Test"];
-            deps = [lib.blake3-lib];
-            staticLibDeps = [ "${lib.blake3-c}/lib" ];
-          })
+          default =
+            ((lean4-nix.lake {inherit pkgs;}).mkPackage {
+              src = ./.;
+              roots = ["Blake3Test"];
+              deps = [lib.blake3-lib];
+              staticLibDeps = ["${lib.blake3-c}/lib"];
+            })
           .executable;
           # Downstream lean4-nix packages must also link to the static lib using the `staticLibDeps` attribute.
           # See https://github.com/argumentcomputer/lean4-nix/blob/dev/templates/dependency/flake.nix for an example
@@ -62,7 +55,6 @@
         devShells.default = pkgs.mkShell {
           packages = with pkgs; [
             lean.lean
-            lean.lean-all
           ];
         };