Skip to content

Conversation

@jeremylt
Copy link
Member

@jeremylt jeremylt commented Oct 4, 2024

Copying this over from Ratel

@jeremylt
Copy link
Member Author

jeremylt commented Oct 4, 2024

Failed as expected, so we can merge

@jeremylt jeremylt merged commit bb86b34 into main Oct 4, 2024
27 of 28 checks passed
@jeremylt jeremylt deleted the jeremy/ci-aborts branch October 4, 2024 20:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants