Merge pull request #135 from coq-community/cachix-action-v12

Update cachix-action to v12 and install-nix-action to v20

Author: thery

.github/workflows/nix-action-8.10.yml

@@ -16,11 +16,11 @@ jobs:
         fetch-depth: 0
         ref: ${{ env.tested_commit }}
     - name: Cachix install
-      uses: cachix/install-nix-action@v16
+      uses: cachix/install-nix-action@v20
       with:
         nix_path: nixpkgs=channel:nixpkgs-unstable
     - name: Cachix setup coq-community
-      uses: cachix/cachix-action@v10
+      uses: cachix/cachix-action@v12
       with:
         authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
         extraPullNames: coq, math-comp
@@ -53,11 +53,11 @@ jobs:
         fetch-depth: 0
         ref: ${{ env.tested_commit }}
     - name: Cachix install
-      uses: cachix/install-nix-action@v16
+      uses: cachix/install-nix-action@v20
       with:
         nix_path: nixpkgs=channel:nixpkgs-unstable
     - name: Cachix setup coq-community
-      uses: cachix/cachix-action@v10
+      uses: cachix/cachix-action@v12
       with:
         authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
         extraPullNames: coq, math-comp

.github/workflows/nix-action-8.11.yml

@@ -1,4 +1,4 @@
 fetchTarball {
-    url = https://github.com/NixOS/nixpkgs/archive/4e9e5aeafeb41f780932097b6935087793b0ce06.tar.gz;
-    sha256 = "05n22m4y96x1qxjcfi4aj12x6724cjdiy04631bvadphs8mrk15s";
-  }
+         url = https://github.com/proux01/nixpkgs/archive/85df4b6f4b52d796fe928ae59446e248ad5c08c0.tar.gz;
+         sha256 = "1420zffnbrjz626ddj015r0g3xlipcb999nrlbvawpr91dypw0pd";
+       }