model-checking / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
18 stars 17 forks source link

Add tracking issue for challenges template #27

Closed jaisnan closed 3 months ago

jaisnan commented 3 months ago

Creates an issue template for new issues that are for tracking challenges. Right now, anyone can add a tracking issue for a challenge without the link to the challenge in the runbook. This template will help remind them of the order of creation which would be to first, create the challenge in the runbook, then create the tracking issue.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.