The Prophet ﷺ used to pray thirteen rakahs during the night.
حدثنا وكيع حدثنا هشام عن أبيه
أن النبي ﷺ كان يصلي من الليل ثلاث عشرة ركعة
Its isnad is sahih, mentioned previously at 25162.