From 28baec7c7a92dd2b55b9cd26e895fa1ec3a00985 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20P=C5=99evr=C3=A1til?= <michprev@gmail.com>
Date: Sat, 22 Jul 2023 20:44:53 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=91=B7=20Use=20SSH=20key=20in=20docs=20bu?=
 =?UTF-8?q?ild=20pipeline?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .github/workflows/build-documentation.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-documentation.yaml b/.github/workflows/build-documentation.yaml
index fbb42c208..456c19f6d 100644
--- a/.github/workflows/build-documentation.yaml
+++ b/.github/workflows/build-documentation.yaml
@@ -10,6 +10,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
+        with:
+          ssh-key: ${{ secrets.DOCUMENTATION_DEPLOY_KEY }}
       - name: Set up Python 3.10
         uses: actions/setup-python@v4
         with:
@@ -30,5 +32,5 @@ jobs:
       - name: Push documentation
         uses: ad-m/github-push-action@master
         with:
-          github_token: ${{ secrets.DOCUMENTATION_TOKEN }}
+          ssh: true
           branch: documentation