Skip to content

Decrease runner wait time to 15 minutes #113

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mrobinson merged 1 commit into from
Feb 10, 2026
Merged

Decrease runner wait time to 15 minutes #113

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions actions/runner-select/action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -158,9 +158,11 @@ runs:
result=$(mktemp)
echo
echo POST "$take_url"
# Retry for up to 3600 seconds, nominally once per second for up to 3600 times,
# but actually respecting Retry-After for up to 3600 times.
if curl -sS --fail-with-body --connect-timeout 5 --max-time 30 --retry-max-time 3600 --retry 3600 --retry-delay 1 -X POST "$take_url_with_token" > $result \
# Retry for up to 15 minutes (900 seconds), nominally once per second
# for up to 900 times, but actually respecting Retry-After for up to
# 900 times. A slow job on the CI is around 30 minutes, so we wait for
# half that time.
if curl -sS --fail-with-body --connect-timeout 5 --max-time 30 --retry-max-time 900 --retry 900 --retry-delay 1 -X POST "$take_url_with_token" > $result \
&& jq -e . $result > /dev/null; then
echo
echo "selected_runner_label=reserved-for:$unique_id" | tee -a $GITHUB_OUTPUT
Expand Down