Instant Pot Pork Tenderloin - Gluten Free Society %

Ingredients

• 1 1/2 lbs pork tenderloin
• 1 teaspoon salt
• 1 teaspoon freshly cracked black pepper
• 1 teaspoon smoked paprika
• 1 teaspoon ground cumin
• 1/2 teaspoon ground coriander
• 2 cloves garlic, minced
• 1/2 onion, minced
• 1 cup chicken stock
• Serving option- roasted green beans