Instant Pot Broccoli Cheddar Soup

Set the Instant Pot on the sauté setting. Melt the butter and add the chopped onion and cook until translucent and then add the garlic.
3 tablespoons butter, 1 clove garlic , 1 large onion
Pour in the chicken stock, broccoli, carrots, salt and pepper. Stir to combine. Lock the lid of the Instant Pot (make sure vent is set to seal) and cook on high pressure for 1 minute.
4 cups chicken stock, 4 cups broccoli florets, 1 cup matchstick carrots, 1 teaspoon freshly ground pepper, ½ teaspoon salt
While the soup is cooking, whisk together the corn starch and water in a small bowl.
¼ cup corn starch, ¼ cup water
When the 1 minute cooking time is done, use the quick pressure release. When the valve drops, remove the lid of the Instant Pot and turn on the sauté setting.
Stirring constantly, add the corn starch/water mixture and bring to a boil. Stir in half & half.
2 cups half and half
Add cheese by the handful, stirring until melted. Serve warm.
2 cups shredded Sharp Cheddar cheese