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

Triggered via pull request January 18, 2026 19:16

btj

synchronize #507

btj:verifast-scripts

Status Success

Total duration 6m 54s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.82 MB	`sha256:7aeeb4f38dfaa2852796782fa0d8cd10960fe7d3256faf62987f967b1f7a6b87`