projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14155a4) | patch
Fix check whether we have a tag (#7901)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 13 Jan 2022 00:14:06 +0000 (16:14 -0800)
committerGitHub <noreply@github.com>
Thu, 13 Jan 2022 00:14:06 +0000 (00:14 +0000)
commita5d7d89b2e26491987d674471e9eb1924e3ea3de
treeef125add1543d7f76b80b55b7a8284fe9ecbe2c2tree
parent14155a4a00177a496eb48df0d50e38e2190908c3commit | diff
Fix check whether we have a tag (#7901)

This PR fixes a subtle issue with the docs upload for releases. While most of the context of the original action is passed into the docs upload action, the git ref changes from refs/tags/... to refs/heads/.... However, we still can check the current ref against the head_branch of the original workflow.
.github/workflows/docs_upload.yml diff | blob | history