On the outdoor stage, music was played, and a group of people were dancing to it.