doc: add reference to `!bench` comment
MODIFY
CONTRIBUTING.md
CONTRIBUTING.md
@@ -89,6 +89,13 @@ When creating a new pull request, it's preferable to use a conventional commit-f
Here are some other scripts that you might find useful.
+#### If you are a core contributor
+
+If you are a core contributor, and you have access to create new branches
+from the main repository (not a fork), use these comments to run specific workflows:
+
+- `!bench` benchmarks the parser's runtime performance and writes a comment with the results
+
#### Naming patterns
1. Forbid a concept

doc: add reference to `!bench` comment (#1972)

Co-authored-by: Micha Reiser <micha@rome.tools>