Start instant pot in sauté mode. Add oil, whole spices (cumin seeds, bay leaves, black peppercorn, cinnamon), ginger, garlic and green chili.
When the ginger and garlic turn golden brown, add onions and sauté for 3 minutes
Add tomato and all spices except dry mango powder. Drain the chickpeas soaking water. Add chickpeas and water for cooking. Stir well.
Change the instant pot setting to bean/chili mode for 35 minutes with vent in sealing position. (This is the same as pressure cook on high pressure for 35 minutes)
When the instant pot beeps, let the pressure release naturally. If the pin does not drop in 20 minutes, you can release the pressure and open the instant pot.
If you like a thicker gravy, use a hand masher or the back of your ladle to mash the chole a bit. Add the dried fenugreek leaves and dry mango powder. Change the instant pot setting to sauté mode and let it boil for 2 minutes.
Garnish with cilantro. Chole Masala is ready to be served with naan or bhatura.