I’m having a similar issue on MacOS. I’m able to program my Daisy Seed with the web programmer but it is not appearing on my port list in the Arduino IDE.
Would anyone have ideas of things I can check next? I tried updating my MacOS to Big Sur and the IDE to the latest version.
Thank you!
I followed this flow to set up my environment:
