Skip to content

Automated fix for refs/heads/waitless#438

Merged
drfloob merged 1 commit intowaitlessfrom
create-pull-request/patch-0b673ce
Apr 20, 2023
Merged

Automated fix for refs/heads/waitless#438
drfloob merged 1 commit intowaitlessfrom
create-pull-request/patch-0b673ce

Conversation

@github-actions
Copy link
Copy Markdown

PanCakes to the rescue!

We noticed that our 'sanity' test was going to fail, but we think we can fix that automatically, so we put together this PR to do just that!

If you'd like to opt-out of these PR's, add yourself to NO_AUTOFIX_USERS in .github/workflows/pr-auto-fix.yaml

@drfloob drfloob merged commit 0852041 into waitless Apr 20, 2023
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