From c695dfe7ea86e511333dbe37ffcd3bedc1af512e Mon Sep 17 00:00:00 2001
From: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>
Date: Sun, 13 Oct 2024 00:43:53 -0400
Subject: [PATCH] Fix a recently introduced typo (#4960)

Signed-off-by: Andy Fingerhut <andy.fingerhut@gmail.com>
---
 docs/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/README.md b/docs/README.md
index 58acbd62514..afdd34f2224 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -224,7 +224,7 @@ git push -f
   wish to run one or more of these, look through the list of Github
   labels for the p4c project
   [here](https://github.com/p4lang/p4c/labels) for labels whose name
-  begins with "runs-".  Add one or more of those labels to your PR.
+  begins with "run-".  Add one or more of those labels to your PR.
   On all future pushes to the branch of that PR, those additional CI
   runs should run.