fix(dev): harden docker-desktop image delivery, drop broken --no-workers (#517, #518, #519)#521

ericfitz merged 1 commit into

mainericfitz/tmi:mainfrom

fix/dev-docker-desktop-followupsericfitz/tmi:fix/dev-docker-desktop-followupsCopy head branch name to clipboard