Give a better error message when x.py uses the wrong stage for CI#76796

Merged

bors merged 1 commit intorust-lang:masterfrom jyn514:wrong-stage

Sep 19, 2020

+7-1

Commits on Sep 16, 2020

Give a better error message when x.py uses the wrong stage for CI
jyn514
committed