Auto label PRs that may require extra checks #2785

celinval merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2606-auto-labelcelinval/kani-dev:issue-2606-auto-labelCopy head branch name to clipboard