Skip to content
Kani CI

Use stable_mir api instead of internal api for analysis (#2871) #5681

Sign in to view logs

Use stable_mir api instead of internal api for analysis (#2871)

Use stable_mir api instead of internal api for analysis (#2871) #5681

Triggered via push November 17, 2023 12:34
@celinvalcelinval
pushed 7a35dac
main
Status Success
Total duration 27m 19s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
12m 30s
write-json-symtab-regression
benchcomp-tests
3m 38s
benchcomp-tests
perf
27m 5s
perf
bookrunner
16m 17s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in