[ ] The pull page's server time for a pull with 20 files, 5 reviews and 3 checks is measured in a test through Server-Timing (patterned on test/pulls-merge-budget.test.ts), and its budget is lowered to what the folded page now needs, at most half of today's.
[ ] Its query count is fixed and asserted, so a new query fails the test.
[ ] The pull records the numbers from before and after.
Last part of #10300.
Done when:
Server-Timing(patterned on test/pulls-merge-budget.test.ts), and its budget is lowered to what the folded page now needs, at most half of today's.Files: src/web/pages/pull.ts, test/pull-budget.test.ts (new).