Instant Pot Mexican Pinto Beans

INGREDIENTS

1 lb

dry pinto beans

2 tbsp

vegetable oil

1 cup

diced white or yellow onion

good sized bell pepper (seeded and chopped (I used red))

jalapeno (seeded and diced)

2 tsp

minced garlic

to 3-1/2 cups low-sodium chicken or vegetable broth (see recipe note below)

1 8 ounce can

tomato sauce

2 tbsp

chili powder

1 tbsp

yellow mustard

1 tsp

cumin

1 tsp

oregano

1 tsp

fresh ground black pepper

bay leaves

1/2 tsp

salt (or to taste)