From: Gereon Kremer <nafur42@gmail.com>
Date: Tue, 26 Oct 2021 12:25:00 +0000 (-0700)
Subject: Upload docs for tags to docs-releases (#7415)
X-Git-Tag: cvc5-1.0.0~973
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=396dfa071d5ab40a1d2ab3ab84c5fdf41c3affd9;p=cvc5.git

Upload docs for tags to docs-releases (#7415)

This automatically uploads the generated docs to a new repository docs-releases (which should eventually become docs). In contrast to docs-ci, we only store docs for releases there.
---

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index 7bdd186a1..9aadd6647 100644
--- a/.github/workflows/docs_upload.yml
+++ b/.github/workflows/docs_upload.yml
@@ -100,3 +100,21 @@ jobs:
           else
             echo "Ignored run"
           fi
+
+      - name: Update docs for release
+        continue-on-error: true
+        env:
+            SSH_AUTH_SOCK: /tmp/ssh_agent.sock
+        run: |
+          if [ "$ISTAG" ]; then
+            git clone git@github.com:cvc5/docs-releases.git target-releases/
+            mv docs-new target-releases/$NAME
+            cd target-releases/
+
+            git add docs-$NAME
+
+            git commit -m "Update docs for $NAME"
+            git push
+          else
+            echo "Ignored run"
+          fi