Skip to content

chore: update proto tools#2626

Merged
migmartri merged 2 commits intochainloop-dev:mainfrom
migmartri:updaet-proto-tools
Dec 18, 2025
Merged

chore: update proto tools#2626
migmartri merged 2 commits intochainloop-dev:mainfrom
migmartri:updaet-proto-tools

Conversation

@migmartri
Copy link
Member

update proto generated tools and regenerate code

Signed-off-by: Miguel Martinez <miguel@chainloop.dev>
Signed-off-by: Miguel Martinez <miguel@chainloop.dev>
@migmartri migmartri merged commit 08834b3 into chainloop-dev:main Dec 18, 2025
7 of 13 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.

2 participants