From 1bc6f24e6f4f9bf46d8ff4d7214b35b22db68594 Mon Sep 17 00:00:00 2001
From: Samuel Balco <goodlyrottenapple@gmail.com>
Date: Mon, 30 Oct 2023 15:03:45 +0000
Subject: [PATCH] Fix release cachix action (#3772)

The cachix action requires a cache name, even though we aren't using the
action for pushing to the cache, instead using kup.
---
 .github/workflows/release.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 2bd36567051..93dd0662eb7 100644
--- 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