From f08dd1c4822114f59f109a58282324b2367baf1a Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 30 Nov 2021 17:08:19 -0800 Subject: [PATCH] Use new token for docs-release (#7709) This PR uses the new CVC5_DOCS_RELEASE_TOKEN to make uploads to docs-release actually work. --- .github/workflows/docs_upload.yml | 1 + 1 file changed, 1 insertion(+) 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: -- 2.30.2