This savory Asian Soup is ready in less than on hour.

In the bowl of the Instant Pot, put the broth, the noodles broken into large pieces, the mushrooms, the soy sauce and the ginger. Cover with the pressure release button in the activated position.
Select “pressure cook or manual”, put 4 minutes at “high” with “keep warm at off”. Press "start". (The appliance will take about 5 minutes before it starts cooking).
Select “pressure cook or manual”, put 4 minutes at “high” with “keep warm at off”. Press "start". (The appliance will take about 5 minutes before it starts cooking).
Select "sauté" and set 5 minutes to "medium or normal". Add the bok choy and cook for 2 minutes, stirring occasionally. Add the shrimps and cook for 1 minute to reheat. Press “cancel” and serve immediately.