A group of workers worked incessantly in the indoor stadium, accompanied by background music.