Run benchcomp unit and regression tests in CI#2382

karkhaz merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

karkhaz:kk-run-benchcomp-testskarkhaz/kani:kk-run-benchcomp-testsCopy head branch name to clipboard