Instant Pot Corned Beef Brisket and Cabbage with Potatoes and Carrots:
Corned Beef, Onion, Celery, Beef Broth and Seasoning Packet at High Pressure for 75 minutes, 20 minutes Natural Release.
Remove the Brisket from the pot and while it rests, cook the cabbage, potatoes and carrots in the cooking liquid for 5 minutes at High Pressure with Quick Release.
Slice the Brisket against the grain and serve with the vegetables.