projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bef33ce) | patch
Fix docs upload (again) (#7435)
authorGereon Kremer <nafur42@gmail.com>
Wed, 20 Oct 2021 23:45:48 +0000 (16:45 -0700)
committerGitHub <noreply@github.com>
Wed, 20 Oct 2021 23:45:48 +0000 (23:45 +0000)
commitf730e8a89b329d029ccae8aa2637bb19a7360f0c
treecc34803f8ec50c3135cd369c8f8030b79287c3b0tree
parentbef33ceaf0a6b69d76b4fd61cb03c990e86bc41ccommit | diff
Fix docs upload (again) (#7435)

This is a follow-up to #7420. This time, I tested the modified code with every combination of values...
.github/workflows/docs_upload.yml diff | blob | history