projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bda2c87) | patch
Upload docs for tags to docs-releases (#7415)
authorGereon Kremer <nafur42@gmail.com>
Tue, 26 Oct 2021 12:25:00 +0000 (05:25 -0700)
committerGitHub <noreply@github.com>
Tue, 26 Oct 2021 12:25:00 +0000 (12:25 +0000)
commit396dfa071d5ab40a1d2ab3ab84c5fdf41c3affd9
tree764765735298d6516d9699cb8811bcd71cb8133etree
parentbda2c87c96bf69e37940bb5ad34222e639f139bbcommit | diff
Upload docs for tags to docs-releases (#7415)

This automatically uploads the generated docs to a new repository docs-releases (which should eventually become docs). In contrast to docs-ci, we only store docs for releases there.
.github/workflows/docs_upload.yml diff | blob | history