Lint PR

ci: wrong directory formating in update-pip bot #21247

Sign in to view logs

Triggered via pull request November 24, 2024 09:38

AJPfleger

opened #3903

Status Success

Total duration 13s

Artifacts –

pr-lint.yml

on: pull_request_target

Validate PR title