New challenge: safety of boxed (#525) · model-checking/verify-rust-std@68525fc

Triggered via push March 5, 2026 12:58

Status Success

Total duration 6m 52s

Artifacts 1

book.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	2.92 MB	`sha256:31dbe5e0fac2ea869e8d8547f5beb290fb62e6542b8992a22481201abc750965`