Luego de realizado el programa y verificado que funciona correctamente, comprueba que tu micro:bit este conectada en tu dispositivo
1- Comprueba que el archivo tiene un nombre adecuado y presiona el botón guardar.
Luego ve a Descargas, selecciona el archivo con extensión .hex
Muévelo a la unidad que aparece al conectar tu micro:bit.
2- Otra opción es presionar el botón Descargar y realizar los pasos anteriores seleccionando el archivo .hex
Listo, ya puedes ejecutar el programa en tu micro:bit