Github WF update missed moving off a private runner to a public runner.#4896

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

hotfix/missed-cachix-publicruntimeverification/k:hotfix/missed-cachix-publicCopy head branch name to clipboard