Rust Tests

Improve the VeriFast scripts #2316

Sign in to view logs

Triggered via pull request January 16, 2026 20:51

tautschnig

synchronize #507

btj:verifast-scripts

Status Success

Total duration 21m 19s

Artifacts –

rustc.yml

on: pull_request

Matrix: upstream_test