[riot-notifications] [RIOT-OS/RIOT] murdock: allow skipping of PR builds (#11785)

Kaspar Schleiser notifications at github.com
Fri Jul 12 14:46:42 CEST 2019

@kaspar030 pushed 1 commit.

703c44fc487d6d920a0e9c13648d496036675302  fixup! fixup! fixup! fixup! fixup! murdock: implement PR skipping support

You are receiving this because you are subscribed to this thread.
View it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190712/f2b83699/attachment.html>

More information about the notifications mailing list