Instant Pot® Leek Mashed Potatoes

Ingredients (7)

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