[riot-notifications] [RIOT-OS/RIOT] tools/insufficient_memory: add create_makefile.ci.sh and Makefile.ci make target (#16109)

benpicco notifications at github.com
Wed Sep 1 16:41:26 CEST 2021


@benpicco pushed 1 commit.

41cd63249cbd783b6778b60027648cea462d99b7  fixup! fixup! fixup! fixup! fixup! tools/insufficient_memory: add create_makefile.ci.sh


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/16109/files/bed80c3d456ecee570dce4bc97236c2771481a9d..41cd63249cbd783b6778b60027648cea462d99b7
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210901/2c5a37a0/attachment.htm>


More information about the notifications mailing list