Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

test(Makefile): retry pulling postgres in test-postgres-docker#16178

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.

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

Already on GitHub?Sign in to your account

Merged
mafredri merged 2 commits intomainfrommafredri/chore-makefile-retry-pull-docks
Jan 17, 2025

Conversation

mafredri
Copy link
Member

@mafredrimafredriforce-pushed themafredri/chore-makefile-retry-pull-docks branch from4814457 to196d2afCompareJanuary 17, 2025 14:32
Makefile Outdated
Comment on lines 868 to 871
# Try pulling up to three times to avoid CI flakes.
docker pull gcr.io/coder-dev-1/postgres:${POSTGRES_VERSION} || \
docker pull gcr.io/coder-dev-1/postgres:${POSTGRES_VERSION} || \
docker pull gcr.io/coder-dev-1/postgres:${POSTGRES_VERSION}
Copy link
Member

Choose a reason for hiding this comment

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

That'd work, but maybe we could add a utility script that doe something like this:

# Try pulling up to three times to avoid CI flakes.for attempt in {1..3}; doif [ ! docker pull gcr.io/coder-dev-1/postgres:${POSTGRES_VERSION} ]; then  echo "Failed to pull image, retrying...";  sleep 1;else  break;fidone

Copy link
MemberAuthor

Choose a reason for hiding this comment

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

Ok, that'd be nicer for sure, I was just lazy. I adapted it a bit to make sure we don't print retrying after we don't retry any more 👍🏻

johnstcn reacted with thumbs up emoji
@mafredrimafredriforce-pushed themafredri/chore-makefile-retry-pull-docks branch fromd57941d to220a38aCompareJanuary 17, 2025 14:49
@mafredrimafredrienabled auto-merge (squash)January 17, 2025 14:51
Copy link
Contributor

@dannykoppingdannykopping left a comment

Choose a reason for hiding this comment

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

LGTM

@mafredrimafredri merged commit08ffcb7 intomainJan 17, 2025
34 checks passed
@mafredrimafredri deleted the mafredri/chore-makefile-retry-pull-docks branchJanuary 17, 2025 15:22
@github-actionsgithub-actionsbot locked and limited conversation to collaboratorsJan 17, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account?Sign in.
Reviewers

@dannykoppingdannykoppingdannykopping approved these changes

@johnstcnjohnstcnjohnstcn approved these changes

Assignees

@mafredrimafredri

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

3 participants
@mafredri@dannykopping@johnstcn

[8]ページ先頭

©2009-2025 Movatter.jp