Skip to content
Cargo Deny

Bump Kani version to 0.60.0 #1905

Sign in to view logs

Bump Kani version to 0.60.0

Bump Kani version to 0.60.0 #1905

Triggered via pull request March 6, 2025 05:10
@qinhepingqinheping
synchronize #3923
qinheping:release-kani-0.60.0
Status Success
Total duration 1m 39s
Artifacts –

deny.yml

on: pull_request
audit
1m 30s
audit
Fit to window
Zoom out
Zoom in