diff --git a/.github/workflows/mobile.yml b/.github/workflows/mobile.yml index 968610bfb8d..1f1ef1cc297 100644 --- a/.github/workflows/mobile.yml +++ b/.github/workflows/mobile.yml @@ -10,6 +10,11 @@ on: paths: - 'mobile/**' - 'config/scripts/xterm-patch-text*' + # Why: regenerate-xterm-patches-mobile.mjs derives the mobile patch from the desktop + # contrast stanza and this manifest, so a desktop-only edit moves what the mobile + # check expects and must re-run it. + - 'config/patches/xterm-src/**' + - 'config/patches/xterm-upstream.json' # Mobile launch contracts exercise the real host dispatcher and durable receipt store. - 'src/main/agent-launch/**' - 'src/main/runtime/rpc/**' @@ -48,6 +53,8 @@ on: paths: - 'mobile/**' - 'config/scripts/xterm-patch-text*' + - 'config/patches/xterm-src/**' + - 'config/patches/xterm-upstream.json' - '.github/workflows/mobile.yml' concurrency: