I believe it should provide community access by default with that role.
The community is on a separate platform so it may bring over new users on a nightly batch or something similar.
If they are still having trouble tomorrow, I would check with support.