Skip to content

Bump VeriFast to 25.11; fixes failure

aadf0e7
Select commit
Loading
Failed to load commit list.
Open

sync-2025-10-09: Merge main #518

Bump VeriFast to 25.11; fixes failure
aadf0e7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs