Skip to content
Build Book

Improve run-kani script to use default target #49

Sign in to view logs

Improve run-kani script to use default target

Improve run-kani script to use default target #49

Triggered via push November 20, 2024 03:21
@celinvalcelinval
pushed 06ce4c4
chores-170-target
Status Success
Total duration 4m 41s
Artifacts 1

book.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.32 MB