Barbacoa Beef (Pressure Cooker or Instant Pot)

Ingredients

For 9 servings

• 5 cloves garlic
• 1/2 medium onion
• 1 lime (juice)
• 2-4 tablespoons canned chipotle in adobo sauce (to taste)
• 1 tablespoon ground cumin
• 1 tablespoon ground oregano
• 1/2 teaspoon ground cloves
• 1 cup water
• 3 pounds beef eye of round or bottom round roast (all fat trimmed)
• 2 1/2 teaspoons kosher salt
• black pepper
• 1 teaspoon olive oil
• 3 bay leaves