Season your Pork tenderloin. Spread Mustard and Olive oil all over your pork roast. Followed by garlic, herbs de Provence, and lemon juice.
Place the Pork roast and the chopped onion at the bottom of your Instant Pot.
Pour water over the pork roast.
Close Instant Pot lid. Secure Vent.
Cook on high pressure for 30 minutes. Let NPR
Remove Pork Roast from the Pot.
Set the Instant Pot to Saute, and stir in Cornstarch
Place the pork back in once a sauce is being brewed. As the sauce sautees, keep pouring the sauce onto the pork roast to evenly distribute the flavor.
Serve with a little sauce on top of each piece.