projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51e6215) | patch
Maintain symlink to docs for latest release (#8555)
authorGereon Kremer <gkremer@cs.stanford.edu>
Mon, 4 Apr 2022 20:37:24 +0000 (13:37 -0700)
committerGitHub <noreply@github.com>
Mon, 4 Apr 2022 20:37:24 +0000 (13:37 -0700)
commitf1a242bb12242666dc85206cd1cd1f203e200c43
tree07637f7d325445b7401acef875dd8ac3b48a2641tree
parent51e6215b0263fe70a7f335e449f7841b8148adc7commit | diff
Maintain symlink to docs for latest release (#8555)

This PR creates/updates a symlink called latest to the last release. This simplifies permalinks into the documentation.
.github/workflows/docs_upload.yml diff | blob | history