Dans votre Instant Pot, mélanger le jus d'orange, l'oignon, la poudre de piment chipotle, le cumin, le sel et l'ail. Ajouter le porc et remuer pour bien l'enrober.
Fermez et verrouillez le couvercle de l'Instant Pot. Tournez la poignée d'évacuation de la vapeur en position « Scellage ». Appuyez sur « Manuel », sélectionnez « Haute pression » et utilisez [-] ou [+] pour choisir un temps de cuisson sous pression de 29 minutes. Une fois le temps écoulé, éteignez l'autocuiseur. Ouvrez l'autocuiseur grâce à la fonction « Décompression naturelle ».
Retirer le porc de la mijoteuse à l'aide d'une écumoire ; l'effilocher à l'aide de deux fourchettes pour obtenir 1,25 litre de viande. Retirer et jeter les morceaux de gras.
Étalez le porc en une seule couche sur une plaque à pâtisserie ou une plaque à griller recouverte de papier d'aluminium.
Écumez le gras du liquide de cuisson dans l'autocuiseur ; jetez-le. Sans couvercle, appuyez sur Sauté et utilisez la fonction « Réglage » pour sélectionner le mode « Plus ». Lorsque le liquide de cuisson bout, éteignez l'autocuiseur.
Appuyez sur Sauté et utilisez le bouton « Ajuster » pour sélectionner le mode « Normal ». Laissez mijoter à découvert pendant 5 minutes ou jusqu'à ce que le mélange soit légèrement épais, en remuant fréquemment.
Préchauffer le gril. Arroser le porc de 60 ml de liquide de cuisson. Jeter le reste du liquide de cuisson ou le réserver pour le service, si désiré. Faire griller le porc de 3 à 5 minutes, ou jusqu'à ce qu'il soit doré et que les bords soient croustillants, en le retournant de temps en temps.
Chauffer les tortillas au micro-ondes selon les instructions sur l'emballage. Déposer 1/3 de tasse de mélange de porc effiloché sur chaque tortilla. Garnir chacune d'environ 3 cuillères à soupe de tomate et 1 1/2 cuillère à café de coriandre. Servir avec des quartiers de citron vert, si désiré.