We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 35acfa9 commit 1cf7639Copy full SHA for 1cf7639
1 file changed
entrypoint.sh
@@ -20,7 +20,7 @@ if (( rc == 0 )); then
20
gh release delete "$INPUT_TAG" --cleanup-tag --yes
21
22
# Workaround for https://github.com/cli/cli/issues/8458
23
- while git fetch --tags --prune-tags; git tag -l | grep "$INPUT_TAG"; do
+ while git fetch --tags --prune-tags; git tag -l | grep -x "$INPUT_TAG"; do
24
echo "Waiting for release $INPUT_TAG to be deleted.."
25
sleep 3
26
done
0 commit comments