Place pork in a large resealable plastic bag and cover with marinade. Let pork marinate overnight, if possible.
When ready to cook, set pressure cooker to "sear", add oil, and press "start/stop". When hot, add pork and brown sides.
When browned, add marinade left in bag, onions, and carrots.
Close and lock lid, set pressure cooker to "meat/stew", adjust time to 60 minutes, and press "start/stop".
When done, natural release for 15 minutes, then do a quick release to make sure all pressure is released before opening lid. Carefully open lid and remove pork. Shred meat with forks. Serve with lime.