Build Book

Add script to automate build & running kani #246

Triggered via pull request September 6, 2024 21:21

jaisnan

synchronize #78

Status Success

Total duration 4m 11s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	1.29 MB