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
tree98f44fd2704c5ce09cfd377e0f5faa3132d0d541
parentf25aa7f135b8f50dadc0252231943cf077a7ff9e
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