Skip to content

Automated fix for refs/heads/rr#1421

Merged
ctiller merged 1 commit intorrfrom
create-pull-request/patch-a78aec4
Oct 9, 2023
Merged

Automated fix for refs/heads/rr#1421
ctiller merged 1 commit intorrfrom
create-pull-request/patch-a78aec4

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions bot commented Oct 9, 2023

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

@github-actions github-actions bot requested a review from ctiller as a code owner October 9, 2023 20:00
@ctiller ctiller merged commit dc67789 into rr Oct 9, 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