lint_pr_title

chore: add Git notes for broken commit messages #30851

Sign in to view logs

Triggered via pull request May 15, 2026 04:13

synchronize #12080

philipp/fix-git-notes-blas-stats

Status Success

Total duration 6m 12s

Artifacts –

lint_pr_title.yml

on: pull_request