Skip to content
Back to pull request #3148

Bump dependencies and Kani's version to 0.50.0 #6499

Sign in to view logs

Bump dependencies and Kani's version to 0.50.0

Bump dependencies and Kani's version to 0.50.0 #6499

Triggered via pull request April 17, 2024 19:35
@celinvalcelinval
opened #3148
celinval:prep-kani-0.50.0
Status Success
Total duration 35m 14s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
13m 58s
write-json-symtab-regression
benchcomp-tests
3m 8s
benchcomp-tests
perf
28m 15s
perf
documentation
2m 1s
documentation
Matrix: regression
Fit to window
Zoom out
Zoom in