Into a pressure cooker or into an Instant Pot, add the beef along with other ingredients mentioned 'to cook beef' and cook for 20 minutes. In an Instant Pot- cook at high pressure for 20 minutes.
Keep aside the cooked beef.
Place a pan over medium heat or use an Instant Pot in saute mode.
Add oil, let turn hot.
Add whole cardamom, cloves and bay leaves, saute for a few seconds.
Add ginger and garlic, saute till golden in color.
Add onion, curry leaves- season with salt and saute till soft.