Skip to content
Build Book

Add command to run Kani from the root and from CI w/ cache #59

Sign in to view logs

Add command to run Kani from the root and from CI w/ cache

Add command to run Kani from the root and from CI w/ cache #59

Triggered via push September 6, 2024 18:32
@jaisnanjaisnan
pushed 78b3c28
add-script-to-automate-build
Status Success
Total duration 4m 33s
Artifacts 1

book.yml

on: push
build
4m 22s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.29 MB