Fix build_rule#4744

automergerpr-permission-manager[bot] merged 4 commits intodevelopruntimeverification/k:developfrom

fix-build-ruleruntimeverification/k:fix-build-ruleCopy head branch name to clipboard