Skip to content

infra: add auto-trigger rules for new labels#12713

Merged
bors merged 1 commit intorust-lang:masterfrom weihanglo:labelSep 20, 2023
+7-1

Commits