Cliquez sur le bouton "Télécharger .hex" :

Une fenêtre apparaît permettant de trouver le périphérique. Sélectionner Micro:bit et cliquer sur "OK". Si vous ne trouvez pas le périphérique Micro:bit, c'est que la carte n'est pas bien branchée.
Le fichier transféré, d'extension .HEX, contient le compilateur micropython ainsi que le script python que vous avez écrit. Le code hexadécimal se rapproche du langage de la machine et permet d'optimiser l'exécution des programmes.