Add script to automate build & running kani #433

Triggered via pull request October 23, 2024 18:44

jaisnan

synchronize #78

Status Success

Total duration 4m 30s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	1.3 MB