Skip to content

Bump tonic-build from 0.10.2 to 0.11.0 in /lean#192

Open
dependabot[bot] wants to merge 1 commit intomainfrom dependabot/cargo/lean/tonic-build-0.11.0

Commits

Commits on Mar 1, 2024