mirror of
https://github.com/micropython/micropython.git
synced 2025-12-16 09:50:15 +01:00
This is a no-op for coverage and minimal. The standard and dev variants have been merged and enable the same feature set as a typical bare-metal board. And remove the CI for the dev build. Signed-off-by: Jim Mussared <jim.mussared@gmail.com>