optional: 5 oz (150 g ) button mushrooms sliced or left whole if they are small

Instant Pot Beef Bourguignon