Pressure Cooker (Instant Pot) Corned Beef and Cabbage

marinated uncured corned beef round flat roast (Trader Joe's recommended)

beef broth

stout beer

large onion (quartered)

garlic

bay leaves

small red potatoes (halved (quarter if medium sized))

large carrots (peeled and cut into 2-inch pieces)

small head green cabbage (cut into 6 wedges with core removed)