Skip to content
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: fix failed deployments #32

Merged
merged 2 commits into from
Apr 29, 2024
Merged

CI: fix failed deployments #32

merged 2 commits into from
Apr 29, 2024

Conversation

simonrw
Copy link
Collaborator

@simonrw simonrw commented Feb 26, 2024

Some PRs are having trouble landing. They don't seem flaky since the failures are repeatable, however they are not changing utils code.

E.g.:

This branch will find out why and fix the issue.

@simonrw simonrw self-assigned this Feb 26, 2024
@simonrw simonrw force-pushed the fix/ci/failed-deploys branch from 62d5086 to d4cda60 Compare February 26, 2024 13:08
@simonrw simonrw force-pushed the fix/ci/failed-deploys branch from d4cda60 to 9b9a532 Compare April 29, 2024 11:19
@simonrw simonrw marked this pull request as ready for review April 29, 2024 11:22
@simonrw simonrw merged commit 3376dfa into main Apr 29, 2024
4 checks passed
@simonrw simonrw deleted the fix/ci/failed-deploys branch April 29, 2024 11:22
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.

1 participant