Skip to content
Build Book

Merge branch 'add-kani-user-guide' of https://github.com/jaisnan/rust… #9

Sign in to view logs

Merge branch 'add-kani-user-guide' of https://github.com/jaisnan/rust…

Merge branch 'add-kani-user-guide' of https://github.com/jaisnan/rust… #9

Triggered via push June 11, 2024 21:20
@jaisnanjaisnan
pushed 628b9d1
add-kani-user-guide
Status Success
Total duration 4m 23s
Artifacts 1

book.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.19 MB