Jeff actually cooked the beef overnight in the Instant Pot on the sous vide setting. We cooked the onions, garlic and carrots on the Saute setting until the onions were soft. Then we added the broth, carrots and red potatoes and set them to Pressure Cook for 5 minutes before adding the rest of the ingredients.
We added the canned tomatoes and roasted butternut squash and set the Instant Pot to Slow Cook for a couple of hours. It turned out quite tasty.
When we make this one again, I don't know that we'd change anything.