Add initial challenge template · model-checking/verify-rust-std@77a8df3

Triggered via pull request June 10, 2024 18:51

synchronize #10

Status Success

Total duration 4m 25s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	1.18 MB