5 cups shredded cabbage (from 1 small cabbage)

Instant Pot Korean Chile-Braised Brisket and Kimchi Coleslaw