ci: use the cachix auth token instead (#116)

The cache was converted to using auth tokens
This commit is contained in:
Jonas Chevalier 2021-05-31 15:13:48 +02:00 committed by GitHub
parent 9c5456517c
commit 3d129bcefc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,7 +19,7 @@ jobs:
- uses: cachix/cachix-action@v10
with:
name: numtide
signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
- run: ./ci.sh
docs:
strategy:
@ -32,7 +32,7 @@ jobs:
- uses: cachix/cachix-action@v10
with:
name: numtide
signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
- run: |
nix-build -A docs
cp -r "$(readlink ./result)" book