Skip to content
Kani Action Check

Update Kani version to 0.37.0 #114

Sign in to view logs

Update Kani version to 0.37.0

Update Kani version to 0.37.0 #114

Re-run triggered September 20, 2023 18:45
@remi-delmas-3000remi-delmas-3000
#49
remi-delmas-3000:bump-version-0.37.0
Status Success
Total duration 1m 8s
Artifacts –

test-action.yml

on: pull_request
Ensure that the Kani action continues to work
56s
Ensure that the Kani action continues to work
Fit to window
Zoom out
Zoom in