jyn 453c632b23 Remove tidy key in PR CI ... This avoids confusing error messages when adding an `auto` job to CI (as recommended in the dev-guide: https://rustc-dev-guide.rust-lang.org/tests/ci.html#using-ci-to-test).		2023-05-04 18:17:46 -05:00
..
ISSUE_TEMPLATE	Spelling misc	2023-04-17 02:55:27 -04:00
workflows	Remove tidy key in PR CI	2023-05-04 18:17:46 -05:00