still trying to make the leaderboard
Browse files
app.py
CHANGED
|
@@ -98,6 +98,7 @@ def write_results(record, result):
|
|
| 98 |
record['evaluated'] = True
|
| 99 |
if 'objectives' in record.keys():
|
| 100 |
record['objective'] = record.pop('objectives')
|
|
|
|
| 101 |
|
| 102 |
|
| 103 |
with tempfile.NamedTemporaryFile(mode="w", suffix=".json", delete=False) as tmp:
|
|
|
|
| 98 |
record['evaluated'] = True
|
| 99 |
if 'objectives' in record.keys():
|
| 100 |
record['objective'] = record.pop('objectives')
|
| 101 |
+
record['minimize_objective'] = True
|
| 102 |
|
| 103 |
|
| 104 |
with tempfile.NamedTemporaryFile(mode="w", suffix=".json", delete=False) as tmp:
|