Add the beef stock, onion, chipotle peppers, garlic, lime juice, cumin, oregano, salt, smoked paprika, and ground cloves to a blender or food processor. Blend until smooth, about 30 seconds on high speed.
Add the sauce to the Instant Pot, along with the beef and bay leaves. Toss to combine, making sure each piece of beef is evenly coated with the sauce.
Attach the instant pot lid and ensure the valve is in the “sealing” position. Set the Instant Pot to Pressure Cook Manual for 45 minutes.
Once the Instant Pot has finished cooking, allow the pressure to release naturally for 10 minutes, then turn the valve to the “venting” positon to release any additional pressure.
Remove the bay leaves and shred the beef.
Serve in corn tortillas and top with onion, cilantro, or toppings of your choice.
Notes
Barbacoa is traditionally served on a corn tortilla and topped with chopped onion and cilantro, although it is also delicious on nachos or in quesadillas! Store any leftovers in an airtight container in the fridge for up to three days.