Skip to content

chore(deps): bump tokio from 1.52.1 to 1.53.2 - #1247

Closed
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/cargo/tokio-1.53.2
Closed

dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/cargo/tokio-1.53.2

chore(deps): bump tokio from 1.52.1 to 1.53.2

7015b58
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors, 1 warning, and 1 notice
Run Kani Proofs
cancelled Oct 12, 2026 in 6h 0m 55s