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

Stevengre wants to merge 2 commits intocodex/import-stable-mir-ui-testsruntimeverification/mir-semantics:codex/import-stable-mir-ui-testsfrom

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