Skip to content
Cargo Audit

Bump Kani version to 0.31.0 (#2569) #3350

Sign in to view logs

Bump Kani version to 0.31.0 (#2569)

Bump Kani version to 0.31.0 (#2569) #3350

Triggered via push June 27, 2023 18:00
@jaisnanjaisnan
pushed fda2b42
main
Status Success
Total duration 4m 35s
Artifacts –

audit.yml

on: push
audit
4m 22s
audit
Fit to window
Zoom out
Zoom in