Merge remote-tracking branch 'origin/develop'

runtimeverification · Oct 30, 2023 · ea60737 · ea60737
2 parents 753f3d4 + 1bc6f24
commit ea60737
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -73,6 +73,8 @@ jobs:
       - name: 'Install Cachix'
         if: ${{ !startsWith(matrix.os, 'self') }}
         uses: cachix/cachix-action@v12
+        with:
+          name: k-framework-binary
 
       - name: 'Publish K to k-framework-binary cache'
         uses: workflow/nix-shell-action@v3