Migrate intrinsics module to use StableMIR
#5936
Triggered via pull request
December 13, 2023 03:58
celinval
Status
Success
Total duration
27m 25s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
12m 12s
benchcomp-tests
3m 31s
perf
27m 15s
bookrunner
16m 5s
Matrix: regression