Spaces:
Sleeping
Sleeping
app
Browse files
app.py
CHANGED
|
@@ -40,7 +40,7 @@ def get_stats():
|
|
| 40 |
|
| 41 |
|
| 42 |
def get_example(selected_type=None):
|
| 43 |
-
evaluated_ids = set(
|
| 44 |
print(f"completed: {evaluated_ids}")
|
| 45 |
|
| 46 |
available_examples = [
|
|
@@ -92,7 +92,7 @@ style = Style("""
|
|
| 92 |
a:hover { text-decoration: underline; }
|
| 93 |
""")
|
| 94 |
|
| 95 |
-
app, rt = fast_app(
|
| 96 |
|
| 97 |
|
| 98 |
def render_stats(stats):
|
|
|
|
| 40 |
|
| 41 |
|
| 42 |
def get_example(selected_type=None):
|
| 43 |
+
evaluated_ids = set(row["example_id"] for row in examples())
|
| 44 |
print(f"completed: {evaluated_ids}")
|
| 45 |
|
| 46 |
available_examples = [
|
|
|
|
| 92 |
a:hover { text-decoration: underline; }
|
| 93 |
""")
|
| 94 |
|
| 95 |
+
app, rt = fast_app(hdrs=(style,))
|
| 96 |
|
| 97 |
|
| 98 |
def render_stats(stats):
|