Smoky Instant Pot Pinto Beans

"Hearty, Smoky Instant Pot Pinto Beans are an easy, versatile dish that you’ll come back to again and again. The best part: you only need five ingredients to make them (not counting salt and water). One of the joys of using a pressure cooker, like the Instant Pot, is its speed, and that speed really shines in the beans department. Unlike on the stovetop, where unsoaked beans take hours to simmer, Instant Pot Pinto Beans only cook for about half an hour."