From 6c5387d204837e08cfff354fc249d551852ecd82 Mon Sep 17 00:00:00 2001 From: Matthias Date: Fri, 25 Oct 2024 11:32:00 +0200 Subject: [PATCH] better name for pr workflow file --- src/content/docs/github_action_recipes/pull-requests.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/content/docs/github_action_recipes/pull-requests.md b/src/content/docs/github_action_recipes/pull-requests.md index 7b2706e..043bce9 100644 --- a/src/content/docs/github_action_recipes/pull-requests.md +++ b/src/content/docs/github_action_recipes/pull-requests.md @@ -8,7 +8,7 @@ existing broken links. ## Usage -Add this workflow to `.github/workflows/check-links.yml` in your repository. +Add this workflow to `.github/workflows/check-pr-links.yml` in your repository. ## Workflow