still trying to make the leaderboard

app.py

@@ -96,6 +96,9 @@ def write_results(record, result):
     record.update(result)
     record['result_filename'] = record['submission_filename'].strip('.json') + '_results.json'
     record['evaluated'] = True
+    if 'objectives' in record.keys():
+        record['objective'] = record.pop('objectives')
+
 
     with tempfile.NamedTemporaryFile(mode="w", suffix=".json", delete=False) as tmp:
         json.dump(record, tmp, indent=2)