GRM-87: fix: always run publish in post-merge (idempotent)

This commit is contained in:
2026-06-25 21:15:03 +00:00
parent 06471d1403
commit 6721864b87
+2 -7
View File
@@ -112,13 +112,8 @@ jobs:
echo "No tag found — skipping publish"
exit 0
fi
HEAD_MSG=$(git log -1 --format=%s)
if echo "$HEAD_MSG" | grep -q "^release: ${TAG}"; then
echo "Publishing release $TAG..."
python3 -m devx.ci.publish "$TAG" "${{ github.repository }}"
else
echo "HEAD is not a release commit for $TAG — skipping publish"
fi
echo "Publishing release $TAG (idempotent — skips if already published)..."
python3 -m devx.ci.publish "$TAG" "${{ github.repository }}"
- name: Notify on failure
if: failure()
env: