Rust Tests

Bump VeriFast to 25.11; fixes failure #2311

Sign in to view logs

Triggered via push January 16, 2026 19:17

tautschnig

sync-2025-10-09

Status Success

Total duration 5m 38s

Artifacts –

rustc.yml

on: push

Matrix: upstream_test