Skip to content
Kani Action Check

Update Kani version to 0.36.0 #76

Sign in to view logs

Update Kani version to 0.36.0

Update Kani version to 0.36.0 #76

Re-run triggered September 7, 2023 14:56
@adpaco-awsadpaco-aws
#47
adpaco-aws:update-kani-0.36.0
Status Success
Total duration 1m 12s
Artifacts –

test-action.yml

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