mirror of
https://github.com/koala73/worldmonitor.git
synced 2026-04-25 17:14:57 +02:00
* ci: skip typecheck for scripts-only PRs; fix vercel-ignore empty SHA Typecheck workflow: - Add paths-ignore for scripts/** and .github/** on pull_request and push. Seed scripts are plain .mjs — not TypeScript — so typechecking adds ~2min with zero coverage benefit for scripts-only changes. vercel-ignore.sh: - When VERCEL_GIT_PREVIOUS_SHA is empty or invalid (can happen on incremental PR pushes), fall back to git merge-base HEAD origin/main instead of defaulting to exit 1 (build). This was causing Vercel to deploy on scripts-only PRs even though the ignore script correctly excludes scripts/ from web-relevant paths. * fix(ci): remove .github/** from typecheck paths-ignore to unblock PR