Make sure the stainless steel insert is in your Instant Pot.
Start by rough chopping the onion. Place it in the Instant Pot along with garlic.
Rinse the meat and place it on top of the onions.
Sprinkle seasoning over the meat.
Make sure the Instant Pot is set to cook at HIGH pressure. Press the "manual" setting and set the timer to 75 minutes.
The IP will beep after a few seconds and it will start coming to pressure. This will take about 12 minutes.
Once the timer is done, press the "cancel/off" button and do not flip the sealing valve. Let the Instant Pot release the pressure naturally. It will take about 12 to 15 minutes.
When the pressure pin drops, carefully open the lid away from your face (there will be some steam left in the pot). Remove the meat onto a plate and set it aside.
Chop the cabbage into large chunks. Slice baby potatoes in half, large ones into quarters. Chop carrots into large chunks. Add potatoes, carrots, and cabbage to the liquid in the Instant Pot. Close the lid and set the timer to 4 minutes.
Once the cooking cycle is done, flip the valve to release the pressure quickly.
Slice the meat and serve with veggies and the sauce.