mirror of
https://github.com/micropython/micropython.git
synced 2025-09-05 01:10:36 +02: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>