Skip to content
Kani CI

Use StableMIR #5795

Sign in to view logs

Use StableMIR

Use StableMIR #5795

Triggered via push December 4, 2023 21:18
@zhassan-awszhassan-aws
pushed 44ff9da
features/boogie
Status Success
Total duration 30m 23s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
10m 47s
write-json-symtab-regression
benchcomp-tests
3m 23s
benchcomp-tests
perf
30m 15s
perf
bookrunner
16m 2s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in