Sync PR data from Linked Issues

Fix the default filter on the leaderboard #352

Sign in to view logs

Triggered via pull request October 9, 2025 13:56

Adez017

opened #873

Status Success

Total duration 16s

Artifacts –

pr-issue-sync.yml

on: pull_request_target