Label PRs

chore(clippy): smol clippy fix #4735

Sign in to view logs

Summary
Jobs
- label_prs
Run details
- Usage
- Workflow file

Triggered via pull request February 1, 2025 09:59

mattsse

opened #14145

matt/clippy-happy12141233222222232322212222222222222222

Status Success

Total duration 21s

Artifacts –

label-pr.yml

on: pull_request