Merge pull request #27 from pi8027/nix

Update Nix toolbox

Author: pi8027

.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

.nix/coq-nix-toolbox.nix

@@ -1 +1 @@
-"c78e8070b98eb9f20316d743cb0305759ffbfdf0"
+"5814f779562efc3e3c0f9bfeaea0468728e2e08b"