From: Gereon Kremer <gkremer@stanford.edu>
Date: Wed, 1 Dec 2021 01:08:19 +0000 (-0800)
Subject: Use new token for docs-release (#7709)
X-Git-Tag: cvc5-1.0.0~747
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f08dd1c4822114f59f109a58282324b2367baf1a;p=cvc5.git

Use new token for docs-release (#7709)

This PR uses the new CVC5_DOCS_RELEASE_TOKEN to make uploads to docs-release actually work.
---

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index fd489beee..98eb24943 100644
--- a/.github/workflows/docs_upload.yml
+++ b/.github/workflows/docs_upload.yml
@@ -19,6 +19,7 @@ jobs:
         run: |
             ssh-agent -a $SSH_AUTH_SOCK > /dev/null
             ssh-add - <<< "${{ secrets.CVC5_DOCS_TOKEN }}"
+            ssh-add - <<< "${{ secrets.CVC5_DOCS_RELEASE_TOKEN }}"
 
       - name: Clone Documentation Repository
         env: