That he asked ʿAisha "How was the prayer of Messenger of Allah ﷺ in the month of Ramadan?" She replied, "He used not to pray more than eleven rakʿat whether in Ramadan or in any other month. He used to offer four rakʿat, let alone their beauty and length, and then four rakʿat, let alone their beauty and length. Afterwards he would offer three rakʿat. I said, 'O Messenger of Allah ﷺ! Do you go to bed before offering the witr prayer?' He said, 'My eyes sleep, but my heart does not sleep."' (Using translation from Bukhārī 3569)
عَنْ صَلَاةِ رَسُولِ اللهِ ﷺ؟ قَالَتْ مَا كَانَ رَسُولُ اللهِ ﷺ يَزِيدُ فِي رَمَضَانَ وَلَا غَيْرِهِ عَلَى إِحْدَى عَشْرَةَ رَكْعَةً «يُصَلِّي أَرْبَعًا فَلَا تَسْأَلْ عَنْ حُسْنِهِنَّ وَطُولِهِنَّ ثُمَّ يُصَلِّي أَرْبَعًا فَلَا تَسْأَلْ عَنْ حُسْنِهِنَّ وَطُولِهِنَّ ثُمَّ يُصَلِّي ثَلَاثًا»