Use stable_mir api instead of internal api for analysis #5659
Triggered via pull request
November 15, 2023 12:05
celinval
Status
Success
Total duration
32m 57s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
12m 35s
benchcomp-tests
4m 11s
perf
27m 38s
bookrunner
32m 46s
Matrix: regression