Skip to content
Cargo Audit

Update Kani version to 0.39.0 (#2824) #4084

Sign in to view logs

Update Kani version to 0.39.0 (#2824)

Update Kani version to 0.39.0 (#2824) #4084

Triggered via push October 17, 2023 21:41
@celinvalcelinval
pushed 1b57856
main
Status Success
Total duration 1m 18s
Artifacts –

audit.yml

on: push
audit
1m 8s
audit
Fit to window
Zoom out
Zoom in