From 3c29c9995a48aa6d21be74e5f98f260cf82a7d3a Mon Sep 17 00:00:00 2001 From: foxnne Date: Sun, 18 Oct 2026 10:27:32 -0500 Subject: [PATCH 1/2] ci: retry a dependency fetch whose DNS lookup failed A git+https dependency (codeberg's translate-c, under dvui on Zig 0.17) failed with `NameServerFailure` twice on a Linux runner. The retry script matched only `TemporaryNameServerFailure`, so it gave up on the first attempt. Co-Authored-By: Claude Opus 5.5 --- scripts/ci-retry.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/ci-retry.sh b/scripts/ci-retry.sh index 08287cb14..b216925b1 100755 --- a/scripts/ci-retry.sh +++ b/scripts/ci-retry.sh @@ -23,7 +23,7 @@ while :; do status="${PIPESTATUS[0]}" [ "$status" -eq 0 ] && exit 0 - if ! grep -qE 'HttpConnectionClosing|invalid HTTP response|ConnectionResetByPeer|ConnectionTimedOut|TemporaryNameServerFailure|unable to fetch|TlsInitializationFailed|UnexpectedEndOfStream' "$log"; then + if ! grep -qE 'HttpConnectionClosing|invalid HTTP response|ConnectionResetByPeer|ConnectionTimedOut|NameServerFailure|unable to discover remote git server capabilities|unable to fetch|TlsInitializationFailed|UnexpectedEndOfStream' "$log"; then echo "::notice::not a fetch failure — not retrying" exit "$status" fi From b43b3bfc6d9e212d2fa00e9e0a98e5a0d7c1024c Mon Sep 17 00:00:00 2001 From: foxnne Date: Sun, 18 Oct 2026 11:36:44 -0500 Subject: [PATCH 2/2] ci: retry a dependency fetch the server failed (5xx) An SDL fetch on #549 failed with `bad HTTP response code: '500 Internal Server Error'`, which the script did not count as a fetch failure. A 4xx still fails at once. Co-Authored-By: Claude Opus 5.5 --- scripts/ci-retry.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/ci-retry.sh b/scripts/ci-retry.sh index b216925b1..78c991c4a 100755 --- a/scripts/ci-retry.sh +++ b/scripts/ci-retry.sh @@ -23,7 +23,7 @@ while :; do status="${PIPESTATUS[0]}" [ "$status" -eq 0 ] && exit 0 - if ! grep -qE 'HttpConnectionClosing|invalid HTTP response|ConnectionResetByPeer|ConnectionTimedOut|NameServerFailure|unable to discover remote git server capabilities|unable to fetch|TlsInitializationFailed|UnexpectedEndOfStream' "$log"; then + if ! grep -qE 'HttpConnectionClosing|invalid HTTP response|ConnectionResetByPeer|ConnectionTimedOut|NameServerFailure|unable to discover remote git server capabilities|unable to fetch|bad HTTP response code: .5|TlsInitializationFailed|UnexpectedEndOfStream' "$log"; then echo "::notice::not a fetch failure — not retrying" exit "$status" fi