Merge pull request coq-community#224 from CohenCyril/update-cachix-ac…

…tions

Update cachix actions

.github/workflows/nix-action-master.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-community
-      uses: cachix/cachix-action@v12
+      uses: cachix/cachix-action@v15
       with:
         authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
         extraPullNames: coq, math-comp
@@ -75,11 +75,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-community
-      uses: cachix/cachix-action@v12
+      uses: cachix/cachix-action@v15
       with:
         authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
         extraPullNames: coq, math-comp

action.nix

@@ -44,13 +44,13 @@ with builtins; with lib; let
   };
   stepCachixInstall = {
     name =  "Cachix install";
-    uses =  "cachix/install-nix-action@v20";
+    uses =  "cachix/install-nix-action@v27";
     "with".nix_path = "nixpkgs=channel:nixpkgs-unstable";
   };
   stepCachixUse = { name, authToken ? null,
                     signingKey ? null, extraPullNames ? null }: {
     name =  "Cachix setup ${name}";
-    uses =  "cachix/cachix-action@v12";
+    uses =  "cachix/cachix-action@v15";
     "with" = { inherit name; } //
              (optionalAttrs (!isNull authToken) {
                authToken = "\${{ secrets.${authToken} }}";

config-parser-1.0.0/overlays.nix

@@ -32,7 +32,7 @@ let
           { case = shell-attribute; out = newCoqPkg shell-pname {}; }
         ] (newCoqPkg n ((super.${n}.mk or (_: {})) self))
       )) ov) (bundle.coqPackages or {});
-  fold-override = foldl (fpkg: override: fpkg.overrideScope' override);
+  fold-override = foldl (fpkg: override: fpkg.overrideScope override);
   in
 [
   (mk-overlay overlays-dir)