search

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 committee application guideline and committee TOML file #32

Closed jaisnan closed 3 weeks ago

jaisnan commented 3 weeks ago

This PR adds

  1. An empty committee toml file as a cache that will be used by the CI workflow to check if the approvers belong to the committee.
  2. Some simple guidelines for users to apply to become a part of the committee.

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