Ourlast build just failed because MicroPython seems to have changed where the unix binary is output during build.

...log lines removed...LINK build-standard/micropython   text   data    bss    dec    hexfilename 554831  59016   2288 616135  966c7build-standard/micropython/home/runner/work/_temp/10e837c9-129d-409f-ac05-01ff729067c6.sh: line 12: micropython: command not found

The last few lines of the build log seem to show that the binary is now output to thebuild-standard subdirectory, while ourbuild script runsmicropyton from the current directory.