Instant Pot Vegetable Soup

Ingredients

• 3 cloves garlic, minced
• 3 tablespoons tomato paste
• 2 teaspoons olive oil
• freshly grated parmesan (optional)
• 1/4 teaspoon red pepper flakes
• 1 medium yellow onion, small dice
• 5 cups vegetable broth (or use 4 cups broth + 1 cup water and adjust amount of added salt)
• 1 19oz can white beans (I used cannellini)
• 1 28oz can diced tomatoes ( or 4 cups fresh diced tomatoes)
• 3 medium celery ribs, chopped
• 2 medium carrots, thinly sliced into rounds
• 1 medium zucchini, quartered and sliced 1/4-inch thick
• 1/2 cup basil pesto (your favourite store-bought brand or from the linked recipe)
• 3/4 cup uncooked macaroni noodles
• fine-grain sea salt (to taste)
• fresh basil (optional)