ci(stable-mir-ui): make manual UI workflow runnable#975

Stevengre wants to merge 3 commits intomasterruntimeverification/mir-semantics:masterfrom

codex/stable-mir-ui-ciruntimeverification/mir-semantics:codex/stable-mir-ui-ciCopy head branch name to clipboard