Keyestudio Micro:bit Mini Smart Robot Car - Step 3: Download It

11
Step 3: Download It
Click the Download button in the editor. This will download a 'hex' file, which is a compact format of your program
that your micro:bit can read.
Here you can name the project as LED1, then click “Save”. Shown below.