mirror of
https://github.com/micropython/micropython.git
synced 2026-01-04 19:20:22 +01:00
This allows us to have some things which are fatal errors in CI or nightly builds, but warnings in normal developer builds. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>