Migrate function, block and statement modules to StableMIR #5971
Triggered via pull request
December 16, 2023 03:33
celinval
Status
Success
Total duration
26m 45s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
10m 59s
benchcomp-tests
3m 28s
perf
26m 36s
bookrunner
15m 4s
Matrix: regression