projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08f42b6) | patch
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)
commitf08dd1c4822114f59f109a58282324b2367baf1a
tree4919fe81b9d84cc02aabd1bf084c91edc62890eetree
parent08f42b62bb83a0d858862c832be70e38003b5dadcommit | diff
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 diff | blob | history