Description
The GitHub release workflow should only open an issue/PR on the Monday before the first Wednesday of a month. However, it opened an issue/PR today (Monday, August 18, 2025), which is not a valid release day.
Root Cause
The release-day validation step exited with the command exit 0 after detecting an invalid day, but subsequent steps were not gated and continued to run (see the logs under the step Check if this Wednesday is the first one of the month).
Solution
Use the following command to terminate the entire workflow when the day is not valid:
gh run cancel ${{ github.run_id }}
sleep infinity
The command terminates the workflow like this.
Description
The GitHub release workflow should only open an issue/PR on the Monday before the first Wednesday of a month. However, it opened an issue/PR today (Monday, August 18, 2025), which is not a valid release day.
Root Cause
The release-day validation step exited with the command
exit 0after detecting an invalid day, but subsequent steps were not gated and continued to run (see the logs under the stepCheck if this Wednesday is the first one of the month).Solution
Use the following command to terminate the entire workflow when the day is not valid:
The command terminates the workflow like this.