Merge pull request #27 from pi8027/nix

Update Nix toolbox
pi8027 · Jun 20, 2024 · 2a4f431 · 2a4f431
2 parents d86a047 + 63d2821
commit 2a4f431
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/nix-action-8.18.yml b/.github/workflows/nix-action-8.18.yml
@@ -27,11 +27,11 @@ jobs:
         fetch-depth: 0
         ref: ${{ env.tested_commit }}
     - name: Cachix install
-      uses: cachix/install-nix-action@v20
+      uses: cachix/install-nix-action@v27
       with:
         nix_path: nixpkgs=channel:nixpkgs-unstable
     - name: Cachix setup coq
-      uses: cachix/cachix-action@v12
+      uses: cachix/cachix-action@v15
       with:
         extraPullNames: coq-community, math-comp
         name: coq
@@ -74,11 +74,11 @@ jobs:
         fetch-depth: 0
         ref: ${{ env.tested_commit }}
     - name: Cachix install
-      uses: cachix/install-nix-action@v20
+      uses: cachix/install-nix-action@v27
       with:
         nix_path: nixpkgs=channel:nixpkgs-unstable
     - name: Cachix setup coq
-      uses: cachix/cachix-action@v12
+      uses: cachix/cachix-action@v15
       with:
         extraPullNames: coq-community, math-comp
         name: coq

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"c78e8070b98eb9f20316d743cb0305759ffbfdf0"
+"5814f779562efc3e3c0f9bfeaea0468728e2e08b"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"c78e8070b98eb9f20316d743cb0305759ffbfdf0"
		"5814f779562efc3e3c0f9bfeaea0468728e2e08b"