Skip to content
Kani CI

Update Kani version to 0.40.0 #5595

Sign in to view logs

Update Kani version to 0.40.0

Update Kani version to 0.40.0 #5595

Triggered via pull request November 1, 2023 13:41
@adpaco-awsadpaco-aws
synchronize #2847
adpaco-aws:release-kani-0.40.0
Status Success
Total duration 41m 8s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
19m 20s
write-json-symtab-regression
benchcomp-tests
7m 5s
benchcomp-tests
perf
40m 58s
perf
bookrunner
17m 5s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in