Add the onions and jalapeño, and cook until softened. I don't drain the bacon grease because I think it adds to the flavor of the charro beans, but if there is a lot of it, you can drain most of it before adding the onions, leaving just a little to cook the onions in. Add the garlic in the last 30 seconds.
1/2 yellow onion, 1 jalapeño, 2 cloves garlic
Add all of the remaining ingredients along with the bacon to the onions, jalapeño, and garlic in the Instant Pot, then secure the lid and change the setting to high pressure (my Instant Pot has a button for "beans/chili" that I press and set to "Normal") for 30 minutes.
1 pound dried pinto beans, 3 cups water, 2 cups beef broth, 15 ounces diced tomatoes and green chilies, 1/2 bunch of fresh cilantro, 2 teaspoon salt, 1 teaspoon cumin, 3/4 teaspoon chipotle chili powder, 1/2 teaspoon oregano, 1/2 teaspoon smoked paprika, 1/2 teaspoon black pepper