diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2022-05-21 22:18:51 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-05-21 16:25:56 -0700 |
commit | 0f5ae593bea7314184608a32122da73ed559f219 (patch) | |
tree | 752383f276f829ee60153333167d4165b058977b /builtin/commit-graph.c | |
parent | dab73aebd85acf6441769370f380f50619c3ebae (diff) |
ci: optionally mark up output in the GitHub workflow
A couple of commands exist to spruce up the output in GitHub workflows:
https://docs.github.com/en/actions/learn-github-actions/workflow-commands-for-github-actions
In addition to the `::group::<label>`/`::endgroup::` commands (which we
already use to structure the output of the build step better), we also
use `::error::`/`::notice::` to draw the attention to test failures and
to test cases that were expected to fail but didn't.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions