Soldeer script name change

runtimeverification · Oct 8, 2024 · 63f97a1 · 63f97a1
1 parent a8f54bf
commit 63f97a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -17,7 +17,7 @@ jobs:
         uses: foundry-rs/[email protected]
 
       - name: 'Run Expect Script'
-        run: expect scripts/soldeer_publish.sh ${{ vars.SOLDEER_EMAIL }} ${{ secrets.SOLDEER_PASSWORD }}
+        run: expect scripts/soldeer_publish.expect ${{ vars.SOLDEER_EMAIL }} ${{ secrets.SOLDEER_PASSWORD }}
 
       - name: 'Check out code'
         uses: actions/checkout@v3