lint_pr_title

chore: fix EditorConfig lint errors (issue #7840) #16024

Sign in to view logs

Re-run triggered August 10, 2025 21:39

kgryte

#7849

develop

Status Success

Total duration 1m 53s

Artifacts –

lint_pr_title.yml

on: pull_request