This was the best recipe for pinto beans I have tried. Super easy and could be ate alone, in taco, enchiladas, haystacks, taco salad. Original recipe from Pudge Factor.
Place all ingredients in instant pot. Cover and select bean/chili. This sets for 30 minutes. Cook on normal pressure.
Once depressurized remove lid. Stir well.
I used a masher to mash the beans to the consistency we like.