Improve the VeriFast scripts · model-checking/verify-rust-std@7fa5e73

Triggered via pull request January 16, 2026 20:51

tautschnig

synchronize #507

btj:verifast-scripts

Status Success

Total duration 6m 47s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.82 MB	`sha256:58a1b068daab6e242fcd3c6d3bc68c58ee528257cb39395e8e3b7081757f0bf6`