Add Labels to PRs

docs: propose modernizing user guide typography #220

Sign in to view logs

Triggered via pull request April 23, 2026 12:24

opened #10133

Status Success

Total duration 16s

Artifacts –

label-pr.yml

on: pull_request_target