Update master-push.yml
@@ -39,7 +39,7 @@ jobs:
uses: cachix/cachix-action@v10
with:
name: k-framework
- authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
+ signingKey: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
skipPush: true
- name: 'Build and cache K Framework'
