model-checking / verify-rust-std

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

Add new templates for issues #28

Open jaisnan opened 1 month ago

jaisnan commented 1 month ago

With the new template for tracking issues, there is no path for users to create issues for maintainence of generic issues. These templates allow users to create issues that are maintainence related or generic in nature.

Call-out:

  1. Need templates in the future for tool applications and challenge proposals?

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