lint_pr_title

chore: fix EditorConfig lint errors (issue #7802) #15887

Sign in to view logs

Re-run triggered August 5, 2025 05:26

kgryte

#7807

wendyyuchensun:issue-7802

Status Success

Total duration 1m 33s

Artifacts –

lint_pr_title.yml

on: pull_request