mirrors/nextcloud-desktop
3
0
Fork 0
mirror of https://github.com/nextcloud/desktop.git synced 2025-10-26 11:17:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #7743 from nextcloud/improve-doc-generation-feedback

Browse Source 
improve feedback from documentation generation workflow
This commit is contained in:
Matthieu Gallien 2025-01-10 18:17:10 +01:00 committed by GitHub
commit 305ae10cb5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/documentation.yml vendored
View File

@ -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