lint_pr_title

build: add script and workflow to label potentially duplicate PRs #9028

Sign in to view logs

Triggered via pull request March 15, 2025 19:55

opened #6081

philipp/label-duplicate-prs

Status Success

Total duration 1m 51s

Artifacts –

lint_pr_title.yml

on: pull_request