Instant Pot® Leek Mashed Potatoes

Ingredients (7)

• ✓ 1 pound potatoes, peeled and cut into 1-inch cubes
• ✓ 1 leek, white parts only, quartered lengthwise and finely sliced
• + ½ teaspoon coarse salt add to pantry
• + water to cover add to pantry
• + ⅓ cup milk, warmed add to pantry
• + 2 tablespoons butter add to pantry
• + salt to taste add to pantry