Skip to content
Cargo Deny

Bump Kani version to 0.56.0 #36

Sign in to view logs

Bump Kani version to 0.56.0

Bump Kani version to 0.56.0 #36

Triggered via push October 8, 2024 22:42
@celinvalcelinval
pushed 8e7ea05
release-0.56.0
Status Success
Total duration 1m 5s
Artifacts –

deny.yml

on: push
audit
56s
audit
Fit to window
Zoom out
Zoom in