The Prophet ﷺ used to pray thirteen rakahs during the night.
حدثنا هاشم حدثنا شعبة عن أبي جمرة قال سمعت
كان النبي ﷺ يصلي ثلاث عشرة ركعة من الليل
Its isnad is sahih, and it is an abridgment of 2572. See also 2714.