Turn the Instant Pot on to SAUTE mode. Add oil.
As the Instant pot insert heats up, add bay leaf and garlic paste to the insert. Sauté for a few minutes.
Add onions to the insert. Sauté for 3-4 minutes or until onions are translucent.
Next, add diced carrots and celery to the insert and mix well. Sauté for 2-3 minutes.
Then add diced tomatoes and marinara sauce to the insert. Mix it well.
Remember to deglaze the bottom of the inner pot to avoid the burn message.
Now add Italian seasoning, red chili flakes, and salt to the insert. Mix to combine.
Add white cannellini beans and pour in vegetable stock.
Finally, add raw ditalini pasta to the inner pot. Seal the Instant pot with its lid and set the valve to SEALING. Press the CANCEL button.
Press pressure cook/Manual on the front panel and adjust the time to 4 minutes on HIGH pressure. The display will read as ON until the IP comes to pressure. This will take about 10-12 minutes.
Once the cooking time has elapsed, your Instant Pot will beep, allow the Instant pot to sit. Let the pressure release naturally for 5 minutes. Then release the steam by carefully turning the valve to VENTING. This will quick-release the remaining steam.
Once the instant pot pin drops, carefully open the lid. Add fresh spinach leaves.
Mix it well. Spinach leaves will wilt soon in the soup. Spoon the soup in a large bowl, garnish with grated parmesan cheese and serve warm.