ci(github): also mark up compile errors
commitcadcafc3311de7f6fae5f3add10cde4f93268ff8
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 13 Jun 2022 13:13:08 +0000 (13 13:13 +0000)
committerJunio C Hamano <gitster@pobox.com>
Mon, 13 Jun 2022 16:58:42 +0000 (13 09:58 -0700)
treee0b22e8a0184009075a7d1ba8b4dae44cc809318
parentdf5fed9c34a394b55194b3fb69413bcc4c76fd64
ci(github): also mark up compile errors

When GCC produces those helpful errors, we will want to present them in
the GitHub workflow runs in the most helpful manner. To that end, we
want to use workflow commands to render errors and warnings:
https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions

In the previous commit, we ensured that grouping is used for the build
in all jobs, and this allows us to piggy-back onto the `group` function
to transmogrify the output.

Note: If `set -o pipefail` was available, we could do this in a little
more elegant way. But since some of the steps are run using `dash`, we
have to do a little `{ ...; echo $? >exit.status; } | ...` dance.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
ci/lib.sh