Directions

1. Set pressure cooker to "sear" and adjust time to 10 minutes. Add oil. When hot, add bacon and cook until crispy. Remove bacon to paper towel to drain.

2. Add onion, carrots, and celery and sauté until soft. Add garlic and beef. Brown beef then return bacon to pressure cooker and add tomato paste. Sauté an additional 5 minutes. Add red wine and bay leaf, set pressure cooker to "meat/stew", and press "start/stop".

3. When done, natural release for 20 minutes, then do a quick release to make sure all pressure is released before opening lid.
4. Carefully open lid. Set pressure cooker to "sear" and adjust time to 15 minutes. When liquid is simmering, add mushrooms and simmer until mushrooms are just cooked, about 5 minutes. Check seasoning and add salt and pepper, if needed. Add thyme and stir.