projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f25aa7f) | patch
Fix docs upload once again (#7997)
authorGereon Kremer <gkremer@stanford.edu>
Fri, 28 Jan 2022 19:57:30 +0000 (11:57 -0800)
committerGitHub <noreply@github.com>
Fri, 28 Jan 2022 19:57:30 +0000 (11:57 -0800)
commit331d0309760cfd6d270f7c36089f696f454b7429
tree98f44fd2704c5ce09cfd377e0f5faa3132d0d541tree
parentf25aa7f135b8f50dadc0252231943cf077a7ff9ecommit | diff
Fix docs upload once again (#7997)

This PR finally sorts out the ambiguity of different commits from PRs, tags and regular branches (fingers crossed).
.github/workflows/docs_upload.yml diff | blob | history