Skip to content
Kani CI

History Expressions #6102

Sign in to view logs

History Expressions

History Expressions #6102

Triggered via pull request February 6, 2024 19:14
@JustusAdamJustusAdam
synchronize #2993
JustusAdam:history-expressions
Status Success
Total duration 29m 16s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
11m 22s
write-json-symtab-regression
benchcomp-tests
3m 19s
benchcomp-tests
perf
29m 7s
perf
bookrunner
15m 13s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in