Sahih Bukhari · Hadith 1138

حدثنا مسدد، قال حدثنا يحيى، عن شعبة، قال حدثني أبو جمرة، عن ابن عباس رضى الله عنهما قال كان صلاة النبي صلى الله عليه وسلم ثلاث عشرة ركعة‏.‏ يعني بالليل‏.‏

Narrated Ibn `Abbas: The prayer of the Prophet used to be of thirteen rak`at, i.e. of the night prayer.

Gradings are classical jarḥ-wa-taʿdīl, name-matched to a rijāl index (not individually re-verified).