Skip to content
Cargo Audit

Bump Kani version to 0.46.0 #4676

Sign in to view logs

Bump Kani version to 0.46.0

Bump Kani version to 0.46.0 #4676

Triggered via pull request February 9, 2024 00:11
@feliperodrifeliperodri
synchronize #3013
feliperodri:kani-0.46.0
Status Success
Total duration 1m 13s
Artifacts –

audit.yml

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