In that recipe, you use curry to enhance the gnocchi. Depending with whom you are going to share the dish, you may use more or less hot curry. You can also accompany them with a salad.
Mix all ingredients in the tank
Put the instant pot in pressure cooking mode 5min
Servings 4