[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:
https://github.com/RIOT-OS/RIOT/pull/11785/files/3cd8a06a01c776dca1f56476275b1eb1dd9a0dd2..703c44fc487d6d920a0e9c13648d496036675302
-------------- 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