lint_pr_title

chore: fix EditorConfig lint errors (issue #6942) #12256

Sign in to view logs

Triggered via pull request May 7, 2025 00:22

GeoDaoyu

opened #6945

GeoDaoyu:Fix/EditorConfig6942

Status Success

Total duration 2m 8s

Artifacts –

lint_pr_title.yml

on: pull_request