Update build_docs.yml

Parietal-INRIA · Jul 8, 2024 · b0ba17c · b0ba17c
1 parent a925fb7
commit b0ba17c
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
@@ -42,6 +42,17 @@ jobs:
     needs: [build_docs]
     if: ${{ contains(fromJSON('["push", "workflow_dispatch", "schedule"]'), github.event_name)}}
     steps:
+      - name: Add SSH key
+        env:
+          SSH_AUTH_SOCK: /tmp/ssh_agent.sock
+        run: |
+          mkdir -p ~/.ssh
+          ssh-keyscan github.com >> ~/.ssh/known_hosts
+          echo "${{ secrets.ACTIONS_SSH_DEPLOY }}" > ~/.ssh/github_actions
+          chmod 600 ~/.ssh/github_actions
+          ssh-agent -a $SSH_AUTH_SOCK > /dev/null
+          ssh-add ~/.ssh/github_actions
+
       - name: Download artifacts
         uses: actions/download-artifact@v4
         with: