From ff6532310818e181a946634f7518108b679bee03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Kilchenmann?= <github@milchkannen.ch>
Date: Tue, 15 Jun 2021 15:10:54 +0200
Subject: [PATCH] chore(gh-ci): update docs deployment (DSP-1741) (#1878)

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index c3fef82ff2..40807f6fec 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -450,7 +450,7 @@ jobs:
           npm install --global @bazel/bazelisk
           sudo apt-get install graphviz
       - name: Deploy docs
-        uses: mhausenblas/mkdocs-deploy-gh-pages@master
+        uses: mhausenblas/mkdocs-deploy-gh-pages@1.16
         env:
           GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
           CUSTOM_DOMAIN: docs-api.dasch.swiss