label_good_first_prs

feat: add `number/float16/base/ulp-difference` #17457

Sign in to view logs

Triggered via pull request December 26, 2025 23:11

kgryte

closed #9321

Status Success

Total duration 11s

Artifacts –

label_good_first_prs.yml

on: pull_request_target

Label PRs for issues with label "Good First Issue" as "Good First PR"s