Expose `booster-dev `from flake#4335

rv-jenkins merged 4 commits intodevelopruntimeverification/k:developfrom

georgy/flake-expose-booster-devruntimeverification/k:georgy/flake-expose-booster-devCopy head branch name to clipboard