Skip to content

Introduce ub variant for Result#1226

Open
mdittmer wants to merge 5 commits into
AeneasVerif:mainfrom
mdittmer:ub
Open

Introduce ub variant for Result#1226
mdittmer wants to merge 5 commits into
AeneasVerif:mainfrom
mdittmer:ub

Format test files after `Result.ub` changes

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

Annotations

1 notice
select-runner / select
succeeded Jul 23, 2026 in 5s