From c8916c5598e9551a2ad98aea6c7cbecc70d8ea66 Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Tue, 11 Jun 2024 21:43:19 +1000
Subject: [PATCH 1/2] Fix syntax error in release.yml

---
 .github/workflows/release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 3e49d45cb5..512012b07f 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -14,7 +14,7 @@ jobs:
     name: 'Draft Release'
     runs-on: ubuntu-latest
     outputs:
-      version: ${{ steps make-release.outputs.version }}
+      version: ${{ steps.make-release.outputs.version }}
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4

From 71d0ce5275f5d43be72d4823d7014a4f2e905c90 Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Tue, 11 Jun 2024 21:48:23 +1000
Subject: [PATCH 2/2] Update release.yml

---
 .github/workflows/release.yml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 512012b07f..6e19d0e4c4 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -65,11 +65,11 @@ jobs:
     runs-on: ubuntu-latest
     environment: production
     needs: release
+    env:
+      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      VERSION: ${{ needs.draft-release.outputs.version }}
     steps:
       - name: 'Finalise release'
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          VERSION: ${{ needs.draft-release.outputs.version }}
         run: |
           set -x
           gh release edit ${VERSION}                    \
@@ -81,11 +81,10 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}
         run: |
           set -x
-          version="$(cat package/version)"
           curl --fail                                                          \
             -X POST                                                            \
             -H "Accept: application/vnd.github+json"                           \
             -H "Authorization: Bearer ${GITHUB_TOKEN}"                         \
             -H "X-GitHub-Api-Version: 2022-11-28"                              \
             https://api.github.com/repos/runtimeverification/devops/dispatches \
-            -d '{"event_type":"on-demand-test","client_payload":{"repo":"runtimeverification/haskell-backend","version":"'${version}'"}}'
+            -d '{"event_type":"on-demand-test","client_payload":{"repo":"runtimeverification/haskell-backend","version":"'${VERSION}'"}}'