Skip to content

Bump opentelemetry from 0.18.0 to 0.20.0 in /lean#146

Merged
MarcusDunn merged 1 commit intomainfrom dependabot/cargo/lean/opentelemetry-0.20.0Dec 10, 2023

Commits

Commits on Dec 10, 2023