Skip to content
Semantic PR Title

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

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

Triggered via pull request November 6, 2025 14:05
@fehmerfehmer
synchronize #7084
Status Success
Total duration 10s
Artifacts –

semantic-pr-title.yml

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