Skip to content

Conversation

@jzempel
Copy link
Member

@jzempel jzempel commented Jul 11, 2024

Description

Cherry picks one commit from main for removing CircleCI.

@jzempel jzempel requested a review from a team as a code owner July 11, 2024 18:50
@jzempel jzempel merged commit b29288a into next Jul 11, 2024
@jzempel jzempel deleted the jzempel/sync-main branch July 11, 2024 19:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants