projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3a9047) | patch
Only update latest tag if commit changed. (#8379)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 23 Mar 2022 18:26:15 +0000 (11:26 -0700)
committerGitHub <noreply@github.com>
Wed, 23 Mar 2022 18:26:15 +0000 (11:26 -0700)
commit06a3895a02ea24602276181664c3db1a7d1827ae
treebe9851cbb3cd1ca21167f75587598fc4252417d9tree
parentc3a9047acfbd610e923dafd4ea6102913dee5644commit | diff
Only update latest tag if commit changed. (#8379)

Previously the latest tag was always updated when a new binary was added to a release (i.e. 3 updates per commit). This commit ensures that we only update the tag if the commit sha changed.
.github/actions/store-binary/action.yml diff | blob | history