projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f1d473) | patch
Rename docs-releases to docs (#7999)
authorGereon Kremer <gkremer@stanford.edu>
Sat, 29 Jan 2022 01:41:44 +0000 (17:41 -0800)
committerGitHub <noreply@github.com>
Sat, 29 Jan 2022 01:41:44 +0000 (17:41 -0800)
commitaace803379e5db2655a26a2ef7d7679dad6f8820
tree26847990eb6c951d25ac7eb2d87d94a69ee8a812tree
parent6f1d47382a7bceeffe1502d678f1396a7ad53ce0commit | diff
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 diff | blob | history