Use stable_mir api instead of internal api for analysis #55
extra_jobs.yml
on: pull_request_target
Auto Label
11s
Verification Benchmarks
/
perf-benchcomp
1h 0m