diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-05-03 22:15:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-03 13:15:36 -0700 |
commit | 439ab123cccdbf4f046b4e084ce996a1dc2aa758 (patch) | |
tree | 3ebca4f480385c603518a214fac4064e0c62dc83 /test/regress | |
parent | 009ae6e41ace0a80923e02941a0bbc80de6e84f1 (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.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions