Fix a recently introduced typo (#4960)

Signed-off-by: Andy Fingerhut <[email protected]>
p4lang · Oct 13, 2024 · c695dfe · c695dfe
1 parent 88a4ae8
commit c695dfe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.