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

Alexandre Abadie notifications at github.com
Tue Jan 12 14:20:49 CET 2021

Looks good to me (from the GH action point of view). Please drop the unrelated commits and squash.

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...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210112/e97edf42/attachment-0001.htm>

More information about the notifications mailing list