Skip to content

Bump Charon#395

Merged
Nadrieril merged 2 commits into
AeneasVerif:mainfrom
N1ark:charon-1030
Apr 22, 2026
Merged

Bump Charon#395
Nadrieril merged 2 commits into
AeneasVerif:mainfrom
N1ark:charon-1030

Bump Charon

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

Annotations

1 warning
charon-pin-is-merged
succeeded Apr 22, 2026 in 11s