Skip to content
Build Book

Add script to automate build & running kani #244

Sign in to view logs

Add script to automate build & running kani

Add script to automate build & running kani #244

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

book.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.29 MB