[riot-notifications] [RIOT-OS/RIOT] dist/tools/pr_check: cleanup and annotate errors in Github Action (#15731)

Martine Lenders notifications at github.com
Wed Jan 13 12:02:57 CET 2021


@miri64 pushed 4 commits.

741aaf9a38aeff5bfb732ae5c00fd9eb0b0e8cda  pr_check: fix README
375df5740ac5fb4c69f21c6cd4889bf40fbb6295  pr_check: remove label check
65216098cb4e9ba20e813f1a776bac8c6faa52dc  dist/tools/pr_check: annotate errors in Github Action
800dc3ef657b9204157f5a645996919e08d032ff  REMOVE ME!


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/15731/files/457444817437a9ca64580d2337160ef951f87da6..800dc3ef657b9204157f5a645996919e08d032ff
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210113/6c236d9f/attachment.htm>


More information about the notifications mailing list