Pressure Cooker Pork Tenderloin

Ingredients

For 6 servings

• •0.25 tasse fresh cilantro leaves
• •0.25 tasse olive oil
• •0.25 tasse lime juice
• •2 cloves garlic, sliced
• •0.5 c. à café red pepper flakes, or to taste
• •0.25 c. à café salt, or to taste
• •1 lb pork tenderloin
• •0.75 tasse chicken broth
• •0.25 tasse lemon juice

Method

1. 1.Combine cilantro, olive oil, lime juice, garlic, pepper flakes, and salt in a blender; blend until smooth. Pour into a large resealable plastic bag. Add pork tenderloin to the bag, coat with marinade, squeeze out excess air, and seal the bag. Marinate in the refrigerator, 8 hours to overnight.
2. 2.Combine chicken broth and lemon juice in a pressure cooker. Remove tenderloin from marinade, shake off excess, and reserve remaining marinade. Place tenderloin in broth mixture in the pressure cooker; pour reserved marinade over tenderloin.
3. 3.Seal and lock pressure cooker according to manufacturer's instructions. Cook over high heat to build pressure until the indicator sounds. Reduce heat to medium; cook for 25 minutes. Remove from heat; let stand for 5 minutes. Place pressure cooker under cold running water to help release pressure before unsealing the lid. Slice tenderloin into medallions to serve.