projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66a3314) | patch
Have docs_upload properly upload tags. (#7352)
authorGereon Kremer <nafur42@gmail.com>
Fri, 15 Oct 2021 20:54:06 +0000 (13:54 -0700)
committerGitHub <noreply@github.com>
Fri, 15 Oct 2021 20:54:06 +0000 (20:54 +0000)
commit7649c3ba5d8df6665ff2ac18cb5df5a8dbfcd4a2
tree8d4b6bf943bba2e0f34508c4187dfd6f1efe3ccdtree
parent66a3314ce9a92112c6a89667f343085aca565ae5commit | diff
Have docs_upload properly upload tags. (#7352)

This PR improves our docs-ci mechanism to properly upload documentation for tags.
.github/workflows/docs_upload.yml diff | blob | history