mirror of
https://github.com/RSSNext/Folo.git
synced 2026-10-18 22:01:28 +08:00
559b4b8423
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>