chore: partition instcombine goals into success/failure based on if they lake build#1616

bollu wants to merge 1 commit intomainopencompl/lean-mlir:mainfrom

extract-goals-partition-success-and-failure-2opencompl/lean-mlir:extract-goals-partition-success-and-failure-2Copy head branch name to clipboard