From 0b893b937bb7142780a7ddb9e6679379bd83644f Mon Sep 17 00:00:00 2001 From: Eli Gancena Date: Sat, 23 Nov 2024 04:32:36 -0400 Subject: [PATCH] Update tool_template.md Typo --- doc/src/tool_template.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/tool_template.md b/doc/src/tool_template.md index 5e7b054ed6891..c5d56b97b80d5 100644 --- a/doc/src/tool_template.md +++ b/doc/src/tool_template.md @@ -25,7 +25,7 @@ _Please list the license(s) that are used by your tool, and if to your knowledge 3. \[and so on...\] ## Artifacts -_If there are noteworthy examples of using the tool to perform verificaiton, please include them in this section.Links, papers, etc._ +_If there are noteworthy examples of using the tool to perform verification, please include them in this section.Links, papers, etc._ ## CI & Versioning _Please describe how you version the tool and how it will be supported in CI pipelines._