Add download button for scores and outputs

app.py

@@ -95,8 +95,9 @@ with st.form(key="form"):
     if uploaded_file:
         data = str(uploaded_file.read(), "utf-8")
         json_data = json.loads(data)
-        if json_data["submission_name"] in submission_names:
-            st.error("🙈 Submission name is already taken. Please rename your submission")
+        submission_name = json_data["submission_name"]
+        if submission_name in submission_names:
+            st.error(f"🙈 Submission name `{submission_name}` is already taken. Please rename your submission.")
             submission_errors += 1
         else:
             is_valid, message = validate_json(json_data)
@@ -229,3 +230,14 @@ if submit_button and submission_errors == 0:
     # # Flush local repos
     shutil.rmtree(LOCAL_REPO, ignore_errors=True)
     shutil.rmtree(LOGS_REPO, ignore_errors=True)
+
+
+with st.expander("Download all submissions and scores"):
+    st.markdown("Click the button below if you'd like to download all the submissions and evaluations from GEM:")
+    outputs_url = hf_hub_url(
+        "GEM-submissions/v2-outputs-and-scores", "gem-v2-outputs-and-scores.zip", repo_type="dataset"
+    )
+    outputs_filepath = cached_download(outputs_url)
+
+    with open(outputs_filepath, "rb") as f:
+        btn = st.download_button(label="Download submissions and scores", data=f, file_name="outputs-and-scores.zip")