Hi Dave,
In that case, use the Microbit Setup Manager over USB to look at the IP settings. This is the
only way really to figure out if you received an IP number and call-up the config web page on
the RRC.
I don't know if you every requested my checklist. This covers the basic networking issues to
set this up. If you haven't, drop me a short mail at dj0qn (at) darc.de and I will send it to you.
I am out the rest of the day now.
73,
Mitch DJ0QN / K7DX