Skip to content

Remove protoc from ci#204

Merged
simoncozens merged 2 commits intomainfrom
no-protoc
Oct 3, 2025
Merged

Remove protoc from ci#204
simoncozens merged 2 commits intomainfrom
no-protoc

Conversation

@simoncozens
Copy link
Copy Markdown
Contributor

No description provided.

@simoncozens simoncozens merged commit 0b4a47d into main Oct 3, 2025
4 of 9 checks passed
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