From bb7ec513b742fdc1f1386021f05dbec6d3963b40 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Tue, 8 Oct 2024 09:11:15 -0600
Subject: [PATCH] modified:   .github/workflows/master-push.yml - Fix the gh
 token variable name per documentation - Dry run with'act'. - Attempted to
 clean up providng rpoper tty env for manual inputs to   soldeer/forge

---
 .github/workflows/master-push.yml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
index fda0f7e..c2a51a1 100644
--- a/.github/workflows/master-push.yml
+++ b/.github/workflows/master-push.yml
@@ -18,9 +18,11 @@ jobs:
 
       - name: 'Checkout Code'
         uses: actions/checkout@v4
-        
+
       - name: 'Run Expect Script'
-        run: expect scripts/soldeer_publish.expect ${{ vars.SOLDEER_EMAIL }} ${{ secrets.SOLDEER_PASSWORD }}
+        shell: bash
+        run: |
+          script -q -c "expect scripts/soldeer_publish.expect ${{ vars.SOLDEER_EMAIL }} ${{ secrets.SOLDEER_PASSWORD }}" /dev/null
 
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -30,7 +32,7 @@ jobs:
 
       - name: 'Create release'
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           set -x
           short_sha=$(git rev-parse --short ${{ github.sha }})