My Easy Instant Pot Pinto Beans: A Smoky Family Favorite!

Ingredients

• 1 pound (450 g) dried pinto beans, rinsed and sorted
• 4 cups (950 ml) water or vegetable broth
• 1 medium onion, diced
• 3 cloves garlic, minced
• 2 teaspoons smoked paprika
• 1 teaspoon ground cumin
• 1 teaspoon salt (or to taste)
• 1/2 teaspoon black pepper
• 2 bay leaves
• 1 tablespoon olive oil (optional, for sautéing)