diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2022-05-21 22:18:54 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-05-21 16:25:56 -0700 |
| commit | 0068c82a13d321b567cade0309eff8421bb2358d (patch) | |
| tree | 0b36ce03712e350ffdd5cb120c1cb33ef549e3cc /commit.c | |
| parent | 110e91150ddb8caa75be8e1ffb937047dbd2752f (diff) | |
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>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions