Step 1

Turn on the SAUTE function. Throw in the butter, chopped onion, diced celery and diced carrot. Saute for about 4 minutes (until the onion is translucent), stirring occasionally.

Step 2

When ready, turn off the SAUTE function (by clicking cancel) and add pressed garlic. Stir for about a minute before adding chicken stock, water, salt (see note 8), black pepper and dried thyme. Give everything a stir.

Step 3

Close and lock the lid in its position. Set the program to MANUAL (high pressure cooking) and adjust the time to 3 minutes.

Step 4

When the pressure cooking is finished, let the pot rest for 5 minutes before releasing its pressure manually.

Step 5

Turn on the SAUTE button again. Add the rest of the ingredients and cook until the gnocchi is ready (follow the package instructions).

Step 6

Serve warm.