Place diced beef into a freezer bag with the seasoned flour and shake to coat the meat with the flour.
Brown meat in olive oil in 3 batches in your pressure cooker with the lid off and set aside, in pressure cooker cook the onion until soft, add garlic and cook for a further minute.
Return meat to the pressure cooker and add carrot, herbs, stock, Guinness, and mushrooms stir well, and bay leaves
Heat stirring until to boiling point, place on lid, lock and on setting 2 bring to pressure.
When at pressure reduce heat to keep for 10 mins.
Remove the lid when pressure down, remove bay leaves, and add corn flour that has been mixed with a little water til a smooth consistency, stir in well, and continue to cook for a few minutes until the mixture is thickened a little.
Place this beef mixture into individual Ramekins or a large pie dish
Cut pastry sheets into circles large enough to cover the top of your ramekins and place them on the top of each ramekin or pie dish. Brush top with the egg yolk/milk mix to aid browning.
Place into oven at 180 deg, and bake for around 10 mins to brown pastry top
Remove from oven when browned and enjoy. Nice served with crust bread or mashed potato.