Skip to content
Build Book

Add script to automate build & running kani #249

Sign in to view logs

Add script to automate build & running kani

Add script to automate build & running kani #249

Triggered via pull request September 6, 2024 22:37
@jaisnanjaisnan
synchronize #78
jaisnan:add-script-to-automate-build
Status Success
Total duration 4m 13s
Artifacts 1

book.yml

on: pull_request
build
4m 3s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.29 MB