[Optimization] Skip the server suite on frontend-only pushes to a PR - #245

Closed

JonnyTran wants to merge 3 commits into

mainfrom

ci/skip-server-suite-on-frontend-only-pushes

Commits on Aug 22, 2026

ci(server): skip the server suite on frontend-only pushes to a PR
JonnyTran
committed
180aabb
ci(server): treat renames out of extralit-server/ as server changes
JonnyTran
committed
e687c5c
Revert "ci(server): treat renames out of extralit-server/ as server changes"
JonnyTran
committed
28cfd08