Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow#552

AdnaneKhan wants to merge 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

AdnaneKhan:update/scopedown-tokenAdnaneKhan/verify-rust-std:update/scopedown-tokenCopy head branch name to clipboard