Skip to content
Back to pull request #2984

Bump Kani version to 0.45.0 #4594

Sign in to view logs

Bump Kani version to 0.45.0

Bump Kani version to 0.45.0 #4594

Triggered via pull request January 24, 2024 16:55
@qinhepingqinheping
synchronize #2984
qinheping:kani-0.45.0
Status Success
Total duration 1m 1s
Artifacts –

audit.yml

on: pull_request
audit
52s
audit
Fit to window
Zoom out
Zoom in