Skip to content
Cargo Deny

Bump Kani version to 0.55.0 #6

Sign in to view logs

Bump Kani version to 0.55.0

Bump Kani version to 0.55.0 #6

Triggered via push September 3, 2024 23:12
@zhassan-awszhassan-aws
pushed 3d3f7c3
kani-0.55.0
Status Success
Total duration 1m 6s
Artifacts –

deny.yml

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