Fix error codes check run and ensure it will not go unnoticed again#83451

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:fix-error-code-tidy-check

Apr 4, 2021

Commits on Apr 4, 2021

Fix error codes check run and ensure it will not go unnoticed again
GuillaumeGomez
committed