chore: replace github config

openvm-org · Dec 14, 2024 · 8a9703b · 8a9703b
1 parent 7923310
commit 8a9703b
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -23,9 +23,12 @@ jobs:
       - name: Set up Rust toolchain
         uses: dtolnay/rust-toolchain@nightly
 
-      - name: Configure git
-        run: |
-          git config --global url."https://${{ github.token }}@github.com/".insteadOf "ssh://[email protected]/"
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/[email protected]
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
 
       - name: Build documentation
         run: cargo doc --workspace --no-deps