ci: Update config

This commit is contained in:
Taiki Endo
2026-03-29 00:12:26 +09:00
parent a164de717a
commit cd20062255
4 changed files with 6 additions and 3 deletions

View File

@@ -258,6 +258,8 @@ jobs:
release_date="${RELEASE_DATE}"
# Make sure the current revision is same as prepare step.
# --unshallow is necessary to successfully push the
# "releases/${major_version_tag}" branch in the subsequent step.
retry git fetch origin --unshallow &>/dev/null
rev=$(git rev-parse HEAD)
if [[ "${rev}" != "${PREPARE_REV}" ]]; then