1. Set the Instant Pot to saute add the garlic, onions and tomato paste and heat.
2. Once it is roasted add the tomatoes.
3. Add the beef, salt, pepper, and Herbes de Provence and mix well.
4. Add potatoes, water, carrots, mushroom, place the lid on and set to high pressure for 10 minutes.