diff options
| author | Cyril Cohen | 2021-02-17 21:43:35 +0100 |
|---|---|---|
| committer | GitHub | 2021-02-17 21:43:35 +0100 |
| commit | 17dd3091e7f809c1385b0c0be43d1f8de4fa6be0 (patch) | |
| tree | adaf94164e33cd597974c969645fd19be45c7618 /.github/workflows/nix.yml | |
| parent | fb9fb240fe7f6a99035a4db23942cb774458d7a3 (diff) | |
Update nix.yml (#699)
* Update nix ci
Diffstat (limited to '.github/workflows/nix.yml')
| -rw-r--r-- | .github/workflows/nix.yml | 3 |
1 files changed, 2 insertions, 1 deletions
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 |