[riot-notifications] [RIOT-OS/RIOT] dist/tools/doccheck: annotate errors in Github Action (#15642)

Alexandre Abadie notifications at github.com
Fri Jan 8 10:24:57 CET 2021


> So what should we do? Remove the regular output?

I don't know, just noticed that :)
But yes, maybe the original check output could be skipped when launched via GH actions, to only keep annotation output. When run locally, print the original check output. Do you think it makes sense ?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/15642#issuecomment-756648050
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210108/2478e82d/attachment-0001.htm>


More information about the notifications mailing list