Add the mushrooms and stir, cooking until slightly browned, a couple minutes. Add the bok choy and green onion, stirring often, until bok choy is wilted, a couple minutes. Add a small sprinkle of sea salt and stir. Remove veggies to a bowl and keep warm. Wipe the skillet.