Yes, Miro, formerly known as Rusev in WWE, has participated in several WrestleMania events. He made his WrestleMania debut at WrestleMania 32 in 2016, where he competed in a tag team match alongside Alberto Del Rio against Kalisto and Sin Cara.
Miro Madness: How Well Do You Know the Bulgarian Brute?