Spaces:
Sleeping
Sleeping
John Graham Reynolds
commited on
Commit
·
cd5a29c
1
Parent(s):
5e7326c
update name
Browse files
app.py
CHANGED
@@ -70,7 +70,7 @@ space = gr.Interface(
|
|
70 |
],
|
71 |
outputs=gr.Textbox(label=metric.name),
|
72 |
description=metric.info.description + added_description,
|
73 |
-
title=
|
74 |
article=parse_readme(local_path / "README.md"),
|
75 |
examples=[
|
76 |
[
|
|
|
70 |
],
|
71 |
outputs=gr.Textbox(label=metric.name),
|
72 |
description=metric.info.description + added_description,
|
73 |
+
title="FixedPrecision Metric", # think about how to generalize this with the launch_gradio_widget - it seems fine as is really
|
74 |
article=parse_readme(local_path / "README.md"),
|
75 |
examples=[
|
76 |
[
|