Fix for deploy script (#1033)

* fixing deploy to avoid using ssh * other attempt
JuliaLang · Oct 9, 2020 · a7b00cd · a7b00cd
1 parent 5a5a0e2
commit a7b00cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -16,7 +16,7 @@ jobs:
           persist-credentials: false
       - name: Install SSH Client
         if: github.event_name != 'pull_request' || github.repository == github.event.pull_request.head.repo.full_name # if this build is NOT a PR build, OR if this build is a PR build and the PR is NOT from a fork
-        uses: webfactory/ssh-agent@v0.2.0
+        uses: webfactory/ssh-agent@v0.4.1
         with:
           ssh-private-key: ${{ secrets.DEPLOY_KEY }}
       - name: Fix URLs for PR preview deployment (pull request previews)