Re: [PATCH v2 0/9] ci: make Git's GitHub workflow output much more helpful

"Johannes Schindelin via GitGitGadget" [off-list ref]
writes:

Changes since v1:

 * In the patch that removed MAKE_TARGETS, a stale comment about that
   variable is also removed.
 * The comment about set -x has been adjusted because it no longer applies
   as-is.
 * The commit message of "ci: make it easier to find failed tests' logs in
   the GitHub workflow" has been adjusted to motivate the improvement
   better.

Will queue.  Thanks.