From e0d70182c6c446a768289b968493fc8a637d1a35 Mon Sep 17 00:00:00 2001 From: rahulku Date: Wed, 21 Aug 2024 15:50:18 -0700 Subject: [PATCH] fix headings --- .github/TOOL_REQUEST_TEMPLATE.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/TOOL_REQUEST_TEMPLATE.md b/.github/TOOL_REQUEST_TEMPLATE.md index 6a93b44d22205..474b1d089c6ee 100644 --- a/.github/TOOL_REQUEST_TEMPLATE.md +++ b/.github/TOOL_REQUEST_TEMPLATE.md @@ -6,7 +6,7 @@ _Please enter your tool name here._ ## Description _Please enter a description for your tool and any information you deem relevant._ -### Tool Information +## Tool Information * [ ] Does the tool perform Rust verification? * [ ] Does the tool deal with *unsafe* Rust code? @@ -15,17 +15,17 @@ _Please enter a description for your tool and any information you deem relevant. * [ ] Is the tool under development? * [ ] Will you or your team be able to provide support for the tool? -### Licenses +## Licenses _Please list the license(s) that are used by your tool, and if to your knowledge they conflict with the Rust standard library license(s)._ -### Steps to Use the Tool +## Steps to Use the Tool 1. [First Step] 2. [Second Step] 3. [and so on...] -### Artifacts +## Artifacts _If there are noteworthy examples of using the tool to perform verificaiton, please include them in this section.Links, papers, etc._ -### CI & Versioning +## CI & Versioning _Please describe how you version the tool and how it will be supported in CI pipelines._