projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 009ae6e) | patch
Add missing --auto-download in CI (#6478)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 3 May 2021 20:15:36 +0000 (22:15 +0200)
committerGitHub <noreply@github.com>
Mon, 3 May 2021 20:15:36 +0000 (13:15 -0700)
commit439ab123cccdbf4f046b4e084ce996a1dc2aa758
tree3ebca4f480385c603518a214fac4064e0c62dc83tree
parent009ae6e41ace0a80923e02941a0bbc80de6e84f1commit | diff
Add missing --auto-download in CI (#6478)

This PR adds --auto-download for the CI job that builds the documentation. Also makes sure that the documentation workflow never fails.
.github/workflows/docs_update.yml diff | blob | history