Add performance regression comparison in CI (#2362)#2377

karkhaz wants to merge 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

karkhaz:kk-testkarkhaz/kani:kk-testCopy head branch name to clipboard