Instant Pot o’ Beans

Ingredients (for 8 servings)

• 1 lb — dried small red and/or pinto beans
• 1 cup — yellow onion
• 8 clove — garlic
• 2 whole — chipotle chiles in adobo sauce
• 1.5 tsp — Mexican oregano
• 1 tsp — cumin
• 0.5 tsp — smoked paprika
• 1 whole — bay leaf
• 1 tsp — sea salt