[riot-notifications] [RIOT-OS/RIOT] [DO NOT MERGE] run CI on top of 36e102a81c3cd790d92880749accb0b393d53ce1 (#15889)

José Alamos notifications at github.com
Sat Jan 30 00:50:18 CET 2021


it passes:
```-- github reports HEAD of 2021.01-branch as 36e102a81c3cd790d92880749accb0b393d53ce1
--- creating merge commit ...
-- merging 8d1e3effec279c99b2406f67edc25240abd5431c into 36e102a81c3cd790d92880749accb0b393d53ce1
--- done.
---- using merge commit SHA1=710eeaa3f2693da5b79b2a7840ac6c287d2ccac7
-- Building PR#15889 https://github.com/RIOT-OS/RIOT/pull/15889 head: 8d1e3effec279c99b2406f67edc25240abd5431c...
-- processing results ...
- running script "/opt/murdock2/scripts/post-build.d/00sizes.py"
- running script "/opt/murdock2/scripts/post-build.d/01metrics.py"
-- done processing results

--- result: BUILD SUCCESSFUL.
```

We can close this now then.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/15889#issuecomment-770109328
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210129/e76acbc0/attachment.htm>


More information about the notifications mailing list