Step 1

Sprinkle the beef all over liberally with salt and pepper.

Step 2

Select SAUTE and adjust to More on the Instant Pot and add the oil.

Step 3

Once the oil is hot and begins to shimmer, add the beef. (You will probably need to do this in 2 batches, as you don't want to overcrowd the beef as it browns).

Step 4

Brown the beef for 3 minutes, then turn the pieces over, and brown for another 3 minutes.

Step 5

Transfer the beef to a plate.

Step 6

Leaving the IP on high heat, add the mushroom and cook, stirring occasionally, until the are starting to turn golden brown, about 4 - 5 minutes. Transfer to a bowl and set aside.

Step 7

Press CANCEL and then add back into the pot the seared beef, as well as the beer, stock, onion quarters, garlic, Worcestershire sauce, mustard, thyme, bay leaf and salt and mix together.

Step 8

Secure the lid and push the Pressure Release to Sealing. Select the MEAT/STEW or PRESSURE COOK setting and set the cooking time for 30 minutes at high pressure.

Step 9

Carefully perform a quick release by moving the Pressure Release to Venting.

Step 10

Once the steam is fully released, open the pot and remove the onion quarters, bay leaf and thyme sprig.

Step 11

Stir in the carrots, potatoes and pearl onions.

Step 12

Secure the lid once again and push the Pressure Release to Sealing. Select the PRESSURE COOK or MANUAL setting and set the cooking time for 4 minutes at high pressure.

Step 13

Perform a quick release by carefully pushing the Pressure Release to Venting.

Step 14

In a smal bowl, mix together the corn starch and the water.

Step 15

Open the pot and stir in the reserved mushrooms and the cornstarch mixture. Stir occasionally for about 3 - 5 minutes until slightly thickened.

Step 16

Taste and add a little more salt, if desired.

Step 17

Ladle into bowls and garnish with thyme leaves, if desired.