Allow publishing releases without macos-tests#4853

automergerpr-permission-manager[bot] merged 1 commit intodevelopruntimeverification/k:developfrom

raoul/disable-macos-test-ciruntimeverification/k:raoul/disable-macos-test-ciCopy head branch name to clipboard