Add Challenges 17 18 for slices · model-checking/verify-rust-std@72baf24

Triggered via pull request March 6, 2025 18:00

opened #265

Status Success

Total duration 5m 33s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

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