1/2 teaspoon fine sea salt, plus more to taste

Instant Pot Korean Chile-Braised Brisket and Kimchi Coleslaw