Modify commitee TOML and workflow#67

jaisnan wants to merge 19 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

jaisnan:modify-2jaisnan/rust-dev:modify-2Copy head branch name to clipboard