From 7de8402ad0a48793f78f86711772145e006ca77a Mon Sep 17 00:00:00 2001
From: Cyril Cohen <CohenCyril@users.noreply.github.com>
Date: Wed, 17 Feb 2021 20:54:48 +0100
Subject: [PATCH] Update nix.yml (#9)

* Update nix.yml
---
 .github/workflows/nix.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index acea12e..de429af 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -26,12 +26,13 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v2.1.1
-      - uses: cachix/install-nix-action@v8
-      - uses: cachix/cachix-action@v6
+      - uses: cachix/install-nix-action@v12
+      - uses: cachix/cachix-action@v8
         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
-          signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
       # building fake mathcomp-fast target
       - run: nix-build --arg config '{coq = "${{ matrix.coq }}"; mathcomp = "${{ matrix.mc }}";}'