ci: use `--github-workflow-markup` in the GitHub workflow
commit0068c82a13d321b567cade0309eff8421bb2358d
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 21 May 2022 22:18:54 +0000 (21 22:18 +0000)
committerJunio C Hamano <gitster@pobox.com>
Sat, 21 May 2022 23:25:56 +0000 (21 16:25 -0700)
tree0b36ce03712e350ffdd5cb120c1cb33ef549e3cc
parent110e91150ddb8caa75be8e1ffb937047dbd2752f
ci: use `--github-workflow-markup` in the GitHub workflow

This makes the output easier to digest.

Note: since workflow output currently cannot contain any nested groups
(see https://github.com/actions/runner/issues/802 for details), we need
to remove the explicit grouping that would span the entirety of each
failed test script.

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