forcing reload of dataset, filter users with name test, and add note for where to register issues

app.py

@@ -34,12 +34,13 @@ def evaluate_boundary(filename):
     return
 
 def get_leaderboard():
-    ds = load_dataset(results_repo, split='train')
+    ds = load_dataset(results_repo, split='train', download_mode="force_redownload")
     full_df = pd.DataFrame(ds)
     full_df['full results'] = full_df['result_filename'].apply(lambda x: make_boundary_clickable(x)).astype(str)
 
     full_df.rename(columns={'submission_time': 'submission time', 'problem_type': 'problem type'}, inplace=True)
     to_show = full_df.copy(deep=True)
+    to_show = to_show[to_show['user'] != 'test']
     to_show = to_show[['submission time', 'problem type', 'user', 'score', 'full results']]
     to_show['user'] = to_show['user'].apply(lambda x: make_user_clickable(x)).astype(str)
 
@@ -166,6 +167,9 @@ def gradio_interface() -> gr.Blocks:
 
                 submit_btn = gr.Button("Evaluate")
                 message = gr.Textbox(label="Status", lines=1, visible=False)
+                gr.Markdown(
+                    "If you have issues with submission or using the leaderboard, please start a discussion in the Community tab of this Space."
+                )
                 submit_btn.click(
                     submit_boundary,
                     inputs=[problem_type, boundary_file, user_state],