![]() 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``` |
||
---|---|---|
.. | ||
ci.yml | ||
dependencies.yml | ||
ghcr.yml | ||
post-merge.yml |