From d12b51c116ba8f0b2b3f291cfac71d3f842c7efa Mon Sep 17 00:00:00 2001 From: Jyrki Gadinger Date: Fri, 10 Jan 2025 10:57:12 +0100 Subject: [PATCH] improve feedback from documentation generation workflow see also: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/workflow-commands-for-github-actions#setting-a-warning-message Signed-off-by: Jyrki Gadinger --- .github/workflows/documentation.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 95b71918d8..6ffae4d68a 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -16,6 +16,12 @@ jobs: cd doc make html > build.log 2>&1 if grep WARNING build.log; then + grep WARNING build.log | awk '{ + split($0, fields, ":"); + sub("/__w/desktop/desktop/", "", fields[1]); + print "::warning file=" fields[1] ( length(fields[2]) ? ",line=" fields[2] : "" ) ",title=Documentation generation::" substr($0, index($0, fields[4]) + 1) + }' + exit 1 else exit 0