The Messenger of Allah ﷺ used to pray thirteen rakats at night, including the two rakats of Fajr.
حدثنا حجاج قال حدثنا ليث قال حدثني يزيد بن أبي حبيب عن عراك بن مالك عن عروة أن
أن رسول الله ﷺ كان يصلي ثلاث عشرة ركعة بالليل مع ركعتي الفجر
Its isnad is sahih, and it is like the preceding one.