Add SSH key to doc action

Author: Martin Stadler

.github/workflows/gh-pages.yml

@@ -26,6 +26,18 @@ jobs:
       - name: Install uv
         uses: astral-sh/setup-uv@v7
 
+      - uses: webfactory/ssh-agent@v0.9.0
+        with:
+          ssh-private-key: |
+            ${{ secrets.GITLAB_TIQI_ZEDBOARD_SSH_KEY }}
+
+      - name: Configure SSH for GitLab
+        env:
+          SSH_KEY: ${{ secrets.GITLAB_TIQI_ZEDBOARD_SSH_KEY }}
+        run: |
+          mkdir -p /root/.ssh && chmod 700 /root/.ssh
+          ssh-keyscan gitlab.phys.ethz.ch >> /root/.ssh/known_hosts
+
       - name: Sync build dependencies
         run: uv sync --no-dev --group docs
 

.github/workflows/release.yml

@@ -41,9 +41,7 @@ jobs:
             openssh-client git ca-certificates curl binutils gh
 
       - name: Install uv
-        run: |
-          curl -fsSL https://astral.sh/uv/install.sh | sh
-          echo "$HOME/.local/bin" >> $GITHUB_PATH
+        uses: astral-sh/setup-uv@v7
 
       - uses: webfactory/ssh-agent@v0.9.0
         with: