Merge pull request 'fix: dereference annotated tag to its commit before the push comparison' (#96) from ci/fix-annotated-tag-push-check into master
CI / Sync project version with tag (hand-pushed tags only) (push) Has been skipped
CI / Publish package to Gitea package registry (push) Has been skipped
CI / Format (ruff format) (push) Successful in 1m25s
CI / Lint (ruff check) (push) Successful in 1m25s
CI / Type check (ty) (push) Successful in 1m27s
CI / Tests (push) Successful in 2m41s
CI / Release (bump, changelog, badges, tag) on merge to master (push) Successful in 1m56s

Reviewed-on: #96
This commit was merged in pull request #96.
This commit is contained in:
2026-09-04 08:41:55 +02:00
+1 -1
View File
@@ -122,7 +122,7 @@ jobs:
run: |
VERSION=$(uv version --short)
TAG="v$VERSION"
if git rev-parse "$TAG" >/dev/null 2>&1 && [ "$(git rev-parse "$TAG")" = "$(git rev-parse HEAD)" ]; then
if git rev-parse "$TAG" >/dev/null 2>&1 && [ "$(git rev-parse "$TAG^{commit}")" = "$(git rev-parse HEAD)" ]; then
git push --atomic origin HEAD:master "refs/tags/$TAG"
else
echo "No new release commit/tag to push (already released, or nothing changed)"