From aace803379e5db2655a26a2ef7d7679dad6f8820 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Fri, 28 Jan 2022 17:41:44 -0800 Subject: [PATCH] Rename docs-releases to docs (#7999) This renames the repository URL where documentation for releases is stored. It now lives at https://cvc5.github.io/docs/ --- .github/workflows/docs_upload.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml index 38a6432a5..05d746491 100644 --- a/.github/workflows/docs_upload.yml +++ b/.github/workflows/docs_upload.yml @@ -118,11 +118,12 @@ jobs: eval $(ssh-agent -s) ssh-add - <<< "${{ secrets.CVC5_DOCS_RELEASE_TOKEN }}" - git clone git@github.com:cvc5/docs-releases.git target-releases/ + git clone git@github.com:cvc5/docs.git target-releases/ cp -r docs-new target-releases/$NAME cd target-releases/ - git add $NAME + python3 genversions.py + git add . git commit -m "Update docs for $NAME" git push -- 2.30.2