modified: .github/workflows/master-push.yml

- checkout source before running scripts
runtimeverification · Oct 8, 2024 · 62756a5 · 62756a5
1 parent 63f97a1
commit 62756a5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -16,6 +16,9 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/[email protected]
 
+      - name: 'Checkout Code'
+        uses: actions/checkout@v4
+
       - name: 'Run Expect Script'
         run: expect scripts/soldeer_publish.expect ${{ vars.SOLDEER_EMAIL }} ${{ secrets.SOLDEER_PASSWORD }}