[riot-notifications] [RIOT-OS/RIOT] Revert "Remove `which` from shell invocations" (#16803)

Martine Lenders notifications at github.com
Fri Sep 3 14:35:35 CEST 2021


> A "CI:build just default target" would be nice especialy for documentation change in compiled files

Not sure what the semantics of that would be different from the current `CI: reday for build`. The default target is `make all`.

-- 
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/16803#issuecomment-912504448
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210903/b0319b07/attachment.htm>


More information about the notifications mailing list