Instant Pot Vegan Seasoned Black Beans

/ 2½ cups dried black beans (, no need to soak before using )

medium onion (, chopped finely)

garlic (, chopped finely)

chili flakes (, or 1 fresh chili, (you can omit the chili if you prefer))

ground cumin

ground coriander

large bay leaf

dried mint (, optional but recommended if you have it)

salt (, plus more to taste at the end if necessary)

mls / 3 cups flavourful broth/stock

lime (, juice only )