pico-docker A workflow based on devcontainer to build a binary files (.uf2) The pico-dev devcontainer is preferred.