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

Commits on Sep 16, 2020

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