Skip to content

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
Merged

Tell user how to fix CI file being not up to date#82013
bors merged 1 commit intorust-lang:masterfrom
Mark-Simulacrum:better-ci-error

Commits

Commits on Feb 12, 2021