Placez les nouilles aux œufs surgelées au réfrigérateur pour les décongeler, pendant 8 heures ou toute la nuit.

Allumez une cocotte-minute multifonction (comme Instant Pot) et sélectionnez la fonction Sauté.

Mélangez la farine, le sel, l'oignon en poudre, l'ail en poudre et le mélange d'assaisonnement dans un sac refermable. Ajoutez la viande à ragoût de bœuf, fermez le sac et agitez pour bien enrober la viande.

Ajoutez l'huile et le beurre dans l'Instant Pot. Faites cuire le bœuf en plusieurs fois jusqu'à ce qu'il soit bien doré, environ 5 minutes par lot, en retirant chaque lot pour le placer sur une assiette.

Ajoutez les champignons et l'oignon dans la cocotte, puis versez le bouillon de bœuf; portez à ébullition tout en grattant les morceaux bruns du fond avec une cuillère en bois.

Mélangez l'eau et le mélange pour soupe aux oignons et champignons sec dans un petit bol et versez-le sur les nouilles.

Annulez la fonction Sauté et sélectionnez la haute pression. Cuisez pendant 15 minutes, en permettant 10 à 15 minutes pour que la pression monte.