From 7d46773dd601e89b59f246a6e1efb7cf12931b5b Mon Sep 17 00:00:00 2001 From: Philipp Wallrafen <74021231+philippwallrafen@users.noreply.github.com> Date: Tue, 6 Oct 2026 10:14:24 +0200 Subject: [PATCH] chore: rename PR lint workflow --- .github/workflows/AGENTS.md | 2 +- .github/workflows/{pr-title.yml => lint-pr.yml} | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) rename .github/workflows/{pr-title.yml => lint-pr.yml} (96%) diff --git a/.github/workflows/AGENTS.md b/.github/workflows/AGENTS.md index 226c6b2..0126614 100644 --- a/.github/workflows/AGENTS.md +++ b/.github/workflows/AGENTS.md @@ -18,4 +18,4 @@ - `WF-P001` Linux runners SHOULD be the default. - `WF-P002` A job that can execute correctly on Linux SHOULD run on Linux. - `WF-P003` macOS or Windows runners SHOULD only be used for platform-specific requirements or explicit compatibility testing. -- `WF-P004` `pr-title.yml` MUST NOT be modified. +- `WF-P004` `lint-pr.yml` MUST NOT be modified. diff --git a/.github/workflows/pr-title.yml b/.github/workflows/lint-pr.yml similarity index 96% rename from .github/workflows/pr-title.yml rename to .github/workflows/lint-pr.yml index ecb4ebb..d7e7225 100644 --- a/.github/workflows/pr-title.yml +++ b/.github/workflows/lint-pr.yml @@ -1,4 +1,4 @@ -name: pr-title +name: lint-pr on: pull_request_target: