Files
Folo/.github/scripts
DIYgod 559b4b8423 ci: run dev's required checks on mobile-main pushes
The sync PR that merges a release branch back into dev is opened with
GITHUB_TOKEN, so it starts no pull_request workflows. Its auto-merge waits
for dev's required checks, "Format, Lint and Typecheck (lts/*)" and "Build
web and SSR server (lts/*)". Pushes to main run both on the merge commit, so
the desktop sync PR merges by itself, but pushes to mobile-main ran neither,
and mobile sync PRs sat until someone merged them by hand (#5095 waited eight
days).

Run both workflows on mobile-main pushes too, without cancelling runs in
progress there, and guard the triggers with a test.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-02 19:50:25 +08:00
..