Skip to content

Move the Charon pin to current and drop the patch machinery - #4883

Merged
feliperodri merged 9 commits into
model-checking:mainfrom
feliperodri:charon-bump
Sep 30, 2026
Merged

feliperodri merged 9 commits into
model-checking:mainfrom
feliperodri:charon-bump

Move the Charon pin to nightly-2026.09.29 and drop the `serde_state` …

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

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 29, 2026 in 6s