still trying to make the leaderboard

app.py

@@ -31,9 +31,7 @@ def evaluate_boundary(filename):
 
 def make_clickable(name):
     link =f'https://huggingface.co/{name}'
-    return f'[{name}]({link})'
-
-    # return f'<a target="_blank" href="{link}" style="color: var(--link-text-color); text-decoration: underline;text-decoration-style: dotted;">{name}</a>'
+    return f'<a target="_blank" href="{link}" style="color: var(--link-text-color); text-decoration: underline;text-decoration-style: dotted;">{name}</a>'
 
 
 def get_leaderboard():
@@ -41,7 +39,7 @@ def get_leaderboard():
     df = pd.DataFrame(ds)
 
     df.rename(columns={'submission_time': 'submission time', 'problem_type': 'problem type'}, inplace=True)
-    # df['user'] = df['user'].apply(lambda x: make_clickable(x)).astype(str)
+    df['user'] = df['user'].apply(lambda x: make_clickable(x)).astype(str)
     score_field = "score" if "score" in df.columns else "objective"  # fallback
 
     df = df.sort_values(by=score_field, ascending=True)

utils.py

@@ -35,7 +35,7 @@ def write_results(record, result):
     if 'objective' not in record.keys():
         record['objective'] = 0.0
         record['minimize_objective'] = True
-        record['feasibility'] = sum(record['feasibilities'])/len(record['feasibilities'])
+        record['feasibility'] = 0.0 # sum(record['feasibilities'])/len(record['feasibilities'])
 
     with tempfile.NamedTemporaryFile(mode="w", suffix=".json", delete=False) as tmp:
         json.dump(record, tmp, indent=2)