Skip to content
Back to pull request #3581

Bump Kani version to 0.56.0 #562

Sign in to view logs

Bump Kani version to 0.56.0

Bump Kani version to 0.56.0 #562

Triggered via pull request October 8, 2024 23:24
@celinvalcelinval
synchronize #3581
celinval:release-0.56.0
Status Success
Total duration 1m 6s
Artifacts –

deny.yml

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