Changing to REPO_ID that exists

REPO_ID was given as `leaderboard-backend` . If you're following the demo instructions exactly, that repository doesn't exist. There are 2 relevant Spaces, one called 'leaderboard', the other called 'backend'. I think what is meant here is one or the other of those Space names.
Here, I'm guessing that 'leaderboard' is meant, as it would document for the user where the relevant leaderboard repository is.

src/envs.py

@@ -22,7 +22,7 @@ TASKS_LIGHTEVAL = "lighteval|anli:r1|0|0,lighteval|logiqa|0|0"
 # To add your own tasks, edit the custom file and launch it with `custom|myothertask|0|0``
 
 # ---------------------------------------------------
-REPO_ID = f"{OWNER}/leaderboard-backend"
+REPO_ID = f"{OWNER}/leaderboard"
 QUEUE_REPO = f"{OWNER}/requests"
 RESULTS_REPO = f"{OWNER}/results"