Github PR Label Paths

style: improve option tool responsiveness #246

Sign in to view logs

Summary
Jobs
- label
Run details
- Usage
- Workflow file

Triggered via pull request October 17, 2024 13:12

opened #337

style/options-tool-responsive

Status Success

Total duration 15s

Artifacts –

gh-pr-label-paths.yml

on: pull_request