VeriFast

Update RawVec proof to nightly-2025-11-25 (#533) #1045

Sign in to view logs

Triggered via push January 21, 2026 20:58

tautschnig

sync-2025-11-25

Status Success

Total duration 36s

Artifacts –

verifast.yml

on: push

Verify std library