After pressure cooking is complete, press cancel and do a quick release. When safe, remove the lid. Using a slotted spoon and/or tongs, discard the sprigs of rosemary and thyme. Move the carrots, mushrooms (from the IP or pan if you cooked them separately), roast chunks, and onions/garlic to a wide pot or whatever large serving bowl you will be using to serve the pot roast. If you're not able to collect all of the onions and garlic, that's okay.