update workflow to fix build issues#70

ubidefeo merged 2 commits intofeature/tabs-and-file-managerarduino/lab-micropython-editor:feature/tabs-and-file-managerfrom

mainarduino/lab-micropython-editor:mainCopy head branch name to clipboard