Bump VeriFast to 25.11; fixes failure · model-checking/verify-rust-std@5a18cbf

Triggered via push January 16, 2026 19:17

tautschnig

sync-2025-10-09

Status Success

Total duration 6m 49s

Artifacts 1

book.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	2.82 MB	`sha256:674c6554a9db445b2a586338fd535a2d86308809df91371c6c0d798f88a712a9`