Skip to content
Semantic PR Title

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

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) #9187

Triggered via pull request November 6, 2025 12:30
@fehmerfehmer
synchronize #7084
Status Success
Total duration 7s
Artifacts –

semantic-pr-title.yml

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