From 62756a50f4faf439239aebc6a101299f1f7591fd Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Tue, 8 Oct 2024 08:58:47 -0600
Subject: [PATCH] modified:   .github/workflows/master-push.yml - checkout
 source before running scripts

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

diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
index 9a0efbd..fda0f7e 100644
--- a/.github/workflows/master-push.yml
+++ b/.github/workflows/master-push.yml
@@ -16,6 +16,9 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1.2.0
 
+      - name: 'Checkout Code'
+        uses: actions/checkout@v4
+        
       - name: 'Run Expect Script'
         run: expect scripts/soldeer_publish.expect ${{ vars.SOLDEER_EMAIL }} ${{ secrets.SOLDEER_PASSWORD }}