Instant Pot Pork Ragu

Ingredients

• 1 tablespoon olive oil
• 1 yellow onion, finely chopped
• 2 ribs Dandy Celery , finely chopped
• 2 large carrots, peeled and finely chopped
• 5 garlic cloves, minced
• 1 tablespoon Kosher salt
• 1 teaspoon black pepper
• 2 1/2 lb pork tenderloin
• 1 1cup beef stock - or broth
• 1 28-ounce can of crushed tomatoes
• 2 tablespoons tomato paste
• 1 tablespoon dried thyme
• 2 tablespoons dried rosemary
• 2 bay leaves