mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-31 01:11:21 +01:00
This is no longer a warning but an error. Also: This is already covered by the static tests via `dist/tools/feature_resolution/check.sh`, which uses a lot less CPU time in the CI.