From 4e44f2dbe3fa7fd164711bf5bc20a4045224b437 Mon Sep 17 00:00:00 2001
From: Freeman <105403280+F-WRunTime@users.noreply.github.com>
Date: Tue, 3 Sep 2024 14:26:18 -0600
Subject: [PATCH] release.yml: On failure run publish with verbose option
 enabled (#4623)

On failure we need more informaiton why the upload to cachix failed.
More information is always needed.
---
 .github/workflows/release.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index d7bdae4481..a89d1cef41 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -84,9 +84,9 @@ jobs:
           packages: jq
           script: |
             export PATH="$(nix build github:runtimeverification/kup --no-link --json | jq -r '.[].outputs | to_entries[].value')/bin:$PATH"
-            kup publish k-framework-binary .#k --keep-days 180
-            kup publish k-framework-binary .#k.openssl.procps.secp256k1 --keep-days 180
-
+            kup publish --verbose k-framework-binary .#k --keep-days 180
+            kup publish --verbose k-framework-binary .#k.openssl.procps.secp256k1 --keep-days 180
+      
   ubuntu-noble:
     name: 'K Ubuntu Noble Package'
     runs-on: [self-hosted, linux, normal]