lint_pr_title

chore: fix EditorConfig lint errors (issue #7148) #13102

Sign in to view logs

Triggered via pull request June 2, 2025 21:24

kgryte

synchronize #7179

develop

Status Success

Total duration 1m 54s

Artifacts –

lint_pr_title.yml

on: pull_request