Skip to content
Semantic PR Title

feat(leaderboard): add friends filter to daily/weekly leaderboard (@fehmer) #9229

Sign in to view logs

feat(leaderboard): add friends filter to daily/weekly leaderboard (@fehmer)

feat(leaderboard): add friends filter to daily/weekly leaderboard (@fehmer) #9229

Triggered via pull request November 7, 2025 18:13
@fehmerfehmer
synchronize #7084
Status Success
Total duration 10s
Artifacts –

semantic-pr-title.yml

on: pull_request_target
check
7s
check
Fit to window
Zoom out
Zoom in