Add challenge 23 24 for Vec · model-checking/verify-rust-std@1f9ac98

Triggered via pull request March 7, 2025 16:44

opened #267

Status Success

Total duration 5m 39s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	1.72 MB	`sha256:b0019090f27eafeff976aa74dba5fabe4ce34adcbd4cbc9dab2d2a07b0d0a27a`