Github PR Label Paths

style: improve option tool responsiveness #247

Sign in to view logs

Summary
Jobs
- label
Run details
- Usage
- Workflow file

Triggered via pull request October 17, 2024 13:18

synchronize #337

style/options-tool-responsive

Status Success

Total duration 19s

Artifacts –

gh-pr-label-paths.yml

on: pull_request