![]() Improve post-merge workflow Contains various fixes for the post-merge workflow implemented in https://github.com/rust-lang/rust/pull/138013, which were suggested on Zulip. This PR changes the grouping of test diffs and ignores doctests, as they are too noisy. I'll post an example output (before/after this PR) in comments below. r? ```@jieyouxu``` |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
workflows | ||
pull_request_template.md | ||
renovate.json5 |