From 17dd3091e7f809c1385b0c0be43d1f8de4fa6be0 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 17 Feb 2021 21:43:35 +0100
Subject: Update nix.yml (#699)

* Update nix ci---
 .github/workflows/nix.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index f665988..6a34426 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -25,7 +25,8 @@ jobs:
         with:
           # Name of a cachix cache to push and pull/substitute
           name: ${{ steps.owner-lowercase.outputs.name }}
+          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 https://github.com/math-comp/math-comp-nix/archive/master.tar.gz --arg config '{coq = "${{ matrix.coq }}"; mathcomp = "${{ steps.owner.outputs.name }}/${{ steps.branch-short.outputs.name }}";}' --argstr package mathcomp
-- 
cgit v1.2.3