Skip to content
PR Title Lint

fix: wider spaces between leaderboard copy pipes to prevent hitting queue limits #4371

Sign in to view logs

fix: wider spaces between leaderboard copy pipes to prevent hitting queue limits

fix: wider spaces between leaderboard copy pipes to prevent hitting queue limits #4371

Triggered via pull request February 24, 2026 15:01
@cursorcursor[bot]
edited #3868
bugfix/spreading-leaderboard-copy-pipes-wider
Status Success
Total duration 9s
Artifacts –

pr-title-lint.yml

on: pull_request
pr-title-lint  /  PR Title Lint
6s
pr-title-lint / PR Title Lint
Fit to window
Zoom out
Zoom in