Skip to content
Kani CI

Merge branch 'main' into toolchain-upgrade-2024-03-30-manual #281

Sign in to view logs

Merge branch 'main' into toolchain-upgrade-2024-03-30-manual

Merge branch 'main' into toolchain-upgrade-2024-03-30-manual #281

Triggered via push April 5, 2024 18:36
@celinvalcelinval
pushed 0c2eb9a
toolchain-upgrade-2024-03-30-manual
Status Success
Total duration 30m 25s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
13m 17s
write-json-symtab-regression
benchcomp-tests
3m 44s
benchcomp-tests
perf
27m 15s
perf
documentation
54s
documentation
Matrix: regression
Fit to window
Zoom out
Zoom in