The Messenger of Allah ﷺ used to pray nine rakahs during the night.
حدثنا يحيى بن آدم حدثنا سفيان عن الأعمش عن إبراهيم عن الأسود
كان رسول الله ﷺ يصلي من الليل تسع ركعات
Its isnad is sahih. It was mentioned previously at 25222.