Instant Pot Beef and Mushroom Stew

Cut roast into pieces that will fit into the inner pot of an Instant Pot. Pat dry with paper towels. Season one side with salt and pepper.

Turn on the Instant Pot, add enough avocado oil to cover the entire bottom surface of the pot, and select the Sauté function. When the indicator reads "hot," carefully add a piece of beef to the pot, seasoned-side down, and sauté until nicely browned, about 6 minutes. Season the other side with salt and pepper, then turn with tongs and sauté for 6 more minutes. Transfer to a plate and keep warm while you brown the remaining beef.

Add onions to the drippings and sauté until softened, about 3 minutes. Add celery, garlic, herbes de Provence, and bay leaves; sauté until garlic is fragrant, about 1 minute. Pour in red wine and use a wooden spoon to stir all the browned bits off of the bottom of the pot. Cook for about 2 minutes, then turn off the Sauté function.