Skip to content

Bump VeriFast to 25.11; fixes failure

5a18cbf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Merge subtree update for toolchain nightly-2025-10-09 #504

Bump VeriFast to 25.11; fixes failure
5a18cbf
Select commit
Loading
Failed to load commit list.
upstream_test (ubuntu-latest)
succeeded Jan 16, 2026 in 3m 45s