projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4270c3d) | patch
Check docs for broken links before uploading (#7729)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 2 Dec 2021 19:48:21 +0000 (11:48 -0800)
committerGitHub <noreply@github.com>
Thu, 2 Dec 2021 19:48:21 +0000 (19:48 +0000)
commit596f15650eecfa9bf46bc2196367e2adaebe3333
tree3af7c6430e6df0292a9d60941d4fb695dbda54catree
parent4270c3d6b8fa45e66a79c928267a0757954d8004commit | diff
Check docs for broken links before uploading (#7729)

We currently have a few broken links in our documentation. This PR make our CI check for broken links before uploading it. Note that it will not fail any job, so we still need to check the output occasionally for now.
.github/workflows/docs_upload.yml diff | blob | history