test(stable-mir-ui): add external UI test harness with skip management#968

automergerpr-permission-manager[bot] merged 4 commits intomasterruntimeverification/mir-semantics:masterfrom

codex/import-stable-mir-ui-testsruntimeverification/mir-semantics:codex/import-stable-mir-ui-testsCopy head branch name to clipboard