Add all ingredients and cook on manual for 30 minutes, using a quick release. Depending on the thickness of your tenderloin, you may need to adjust the time up or down slightly. The pork should be tender and easily shredded with forks in the next step.
Once the pork has fully cooked, remove and shred with two forks. (If the pork is overcooked, it might be easier to chop with a knife.)
Preheat an oven to 450F and line a baking sheet with parchment paper. Add the shredded pork and bake for 8 minutes.
While the pork is in the oven, saute the remaining sauce in the Instant Pot until thick.
After removing the pork from the oven, top with thickened sauce and enjoy!