Skip to content

ci: polish the image-build retry loop#174

Merged
pierre-warnier merged 1 commit into
mainfrom
ci/retry-loop-polish
Jun 10, 2026
Merged

ci: polish the image-build retry loop#174
pierre-warnier merged 1 commit into
mainfrom
ci/retry-loop-polish

Conversation

@pierre-warnier

Copy link
Copy Markdown
Collaborator

Follow-up addressing the two Copilot comments on #173:

  • No sleep after the last attempt — the retry loop slept 30s even after the 3rd/final failed build, padding already-failing runs. Now gated to attempt < 3.
  • Single source of truth for CARGO_NET_RETRY — the container run hard-coded -e CARGO_NET_RETRY=10, duplicating the workflow-wide env value. Now forwards the existing var with a bare -e CARGO_NET_RETRY.

Verified locally: YAML parses; -e CARGO_NET_RETRY propagates the workflow value into the container.

Refs #172, #173.

Address review feedback on #173:
- Don't sleep after the final build attempt (no retry follows it).
- Forward the workflow-wide CARGO_NET_RETRY into the container with a
  bare '-e CARGO_NET_RETRY' instead of re-hardcoding the value, keeping
  a single source of truth.
Copilot AI review requested due to automatic review settings June 10, 2026 10:43

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR is a small follow-up improvement to the Docker-matrix CI workflow, tightening the retry loop behavior and removing duplication around CARGO_NET_RETRY so the workflow-wide setting remains the single source of truth.

Changes:

  • Avoids sleeping after the final (3rd) failed docker compose build attempt by gating the backoff to attempt < 3.
  • Forwards the workflow-wide CARGO_NET_RETRY into docker compose run with -e CARGO_NET_RETRY instead of hard-coding =10.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@pierre-warnier pierre-warnier merged commit 8e93246 into main Jun 10, 2026
8 checks passed
@pierre-warnier pierre-warnier deleted the ci/retry-loop-polish branch June 10, 2026 10:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants