update toolbox

.github/workflows/nix.yml

@@ -12,7 +12,7 @@ jobs:
       matrix: ${{ steps.set-matrix.outputs.matrix }}
     steps:
       - name: Checkout
-        uses: actions/checkout@v2.1.1
+        uses: actions/checkout@v2.5.0
       - uses: cachix/install-nix-action@v12
         with:
           nix_path: nixpkgs=channel:nixpkgs-unstable
@@ -28,22 +28,22 @@ jobs:
       fail-fast: false
       matrix: ${{fromJson(needs.setup.outputs.matrix)}}
     steps:
-      - uses: cachix/install-nix-action@v12
+      - uses: cachix/install-nix-action@v18
         with:
           nix_path: nixpkgs=channel:nixpkgs-unstable
-      - uses: cachix/cachix-action@v8
+      - uses: cachix/cachix-action@v12
         with:
           # Name of a cachix cache to push and pull/substitute
           name:  math-comp
           extraPullNames: coq
           # Authentication token for Cachix, needed only for private cache access
           authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
       - name: Checkout
-        uses: actions/checkout@v2.1.1
+        uses: actions/checkout@v2.5.0
       - name: Building mathcomp-full-shell target if required
         run: |
           overrides="{coq = \"${{ matrix.coq }}\"; mathcomp = \"${{ matrix.mc }}\";}"
-          storepath=$(nix eval "(\"\${import ./. {override = $overrides;}}\")")
+          storepath=$(nix eval -raw --impure --expr "import ./. {override = $overrides;}")
           hash=$(echo $storepath | sed "s/\"//mg" | xargs basename | cut -d- -f1)
           url=https://math-comp.cachix.org/$hash.narinfo
           if curl --output /dev/null --silent --head --fail "$url"; then
@@ -58,10 +58,10 @@ jobs:
     runs-on: ubuntu-latest
     needs: builds
     steps:
-      - uses: cachix/install-nix-action@v12
+      - uses: cachix/install-nix-action@v18
         with:
           nix_path: nixpkgs=channel:nixpkgs-unstable
-      - uses: cachix/cachix-action@v8
+      - uses: cachix/cachix-action@v12
         with:
           # Name of a cachix cache to push and pull/substitute
           name:  math-comp
@@ -70,13 +70,13 @@ jobs:
           authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
       ## does not work because the PR is updated only once
       - name: Checkout
-        uses: actions/checkout@v2.1.1
+        uses: actions/checkout@v2.5.0
       - name: Update README.md
         id: set-nixenv
         run: |
           ./update-readme.sh
       - name: Commit README.md
-        uses: EndBug/add-and-commit@v7
+        uses: EndBug/add-and-commit@v9.1.1
         with:
           message: 'Updating README.md'
           add: 'README.md'

.nix/coq-nix-toolbox.nix

@@ -1 +1 @@
-"c003251246e91fe279cd01348af89d73e36b02a3"
+"cd64bd6bca24e9de1de19ecec8e2f47a97b0d20f"

matrix/default.nix

@@ -3,6 +3,9 @@ with import <nixpkgs> {}; with builtins; with lib;
 let
   old-coq = [ "8.9" "8.8" "8.7" ];
   mc-coq-set = {
+    "1.15.0" = [ "8.16" "8.15" "8.14" "8.13" ];
+    "1.14.0" = [ "8.15" "8.14" "8.13" "8.12" "8.11" ];
+    "1.13.0" = [ "8.14" "8.13" "8.12" "8.11" ];
     "1.12.0" = [ "8.13" "8.12" "8.11" "8.10" ];
     "1.11.0" = [ "8.12" "8.11" "8.10" ] ++ old-coq;
     "1.10.0" = [ "8.11" "8.10" ] ++ old-coq;