The Prophet (ﷺ) offered funeral prayer over Ibn al-Dahdah while we were present. He was then brought a horse, and it was tied until he rode it. It then began to gallop and we were running around it.
Sunan Abi Dawud Book 21, Hadith 90