projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 08f42b6)
Use new token for docs-release (#7709)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 1 Dec 2021 01:08:19 +0000 (17:08 -0800)
committerGitHub <noreply@github.com>
Wed, 1 Dec 2021 01:08:19 +0000 (01:08 +0000)
This PR uses the new CVC5_DOCS_RELEASE_TOKEN to make uploads to docs-release actually work.

.github/workflows/docs_upload.yml patch | blob | history

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index fd489beeef14f8329b281ceb8b2d702b7fce89e9..98eb24943177bb0cb97eef378bf19e68128b7684 100644 (file)
--- 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: