tidy: Detect outdated workspaces in workspace list#149417

bors merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

clubby789:stale-workspace-listclubby789/rust:stale-workspace-listCopy head branch name to clipboard