Quick & Flavorful Pressure Cooker Pinto Beans

Ingredients

• 1 lb (450 g) dried pinto beans, rinsed and sorted
• 1 medium onion, chopped
• 3 cloves garlic, minced
• 4 cups (960 ml) low-sodium vegetable broth or water
• 1 teaspoon ground cumin
• 1 teaspoon smoked paprika
• 1 bay leaf
• ½ teaspoon salt (to taste)
• Fresh cilantro, chopped (optional)
• Lime wedges (optional)
• Sliced jalapeños or hot sauce (optional)