Label PRs

[scoreboard] Add efficiency and deadline scoring #1016

Sign in to view logs

Triggered via pull request July 19, 2025 23:26

aobolensk

opened #539

Status Success

Total duration 7s

Artifacts –

labeler.yml

on: pull_request_target

label-pull-requests