Tell user how to fix CI file being not up to date#82013

Merged

bors merged 1 commit intorust-lang:masterfrom

Mark-Simulacrum:better-ci-error

Feb 12, 2021

Commits on Feb 12, 2021

Tell user how to fix CI file being not up to date
Mark-Simulacrum
committed