Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Replicate a special-casing of RIOT_CI_BUILD
(But not enabling RIOT_CI_BUILD b/c we're not inside a Murdock run, and who knows what else that flag enables.)
- Loading branch information