Close and lock the lid of the Instant Pot. Turn the steam release handle to "Sealing" position. Press [Manual]; select "High Pressure," and use [-] or [+] to choose 23 minutes pressure cooking time. When time is up, turn cooker off. Open the cooker using Quick Pressure Release. Serve beef mixture over noodles. Garnish with thyme leaves, if desired.