[riot-notifications] [RIOT-OS/RIOT] dist/tools/doccheck: annotate errors in Github Action (#15642)
notifications at github.com
Fri Jan 8 11:03:35 CET 2021
I think that for now we can go with this PR and later improve. The annotations are here to be inlined in the PR diff and people will most likely not look at the full job output. What do you think ?
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications