Den Instant Pot auf Sauté einstellen, Öl und Butter hineingeben.
Das Fleisch rundherum anbraten, dann herausnehmen.
Zwiebeln und Knoblauch im Bratfett glasig dünsten.
Mehl über die Zwiebeln streuen, gut umrühren und kurz mitrösten.
Mit Rinderfond und Weißwein ablöschen, dabei gut umrühren.
Senf, Thymian und Worcestersauce einrühren.
Fleisch zurück in den Topf legen, alles gut vermengen.
Deckel schließen, auf High Pressure 60 Minuten garen.
Druck natürlich ablassen, Braten entnehmen und ruhen lassen.
Sauce nach Belieben pürieren oder einkochen.