Spaces:
Running
Running
natolambert
commited on
Commit
β’
c8a4819
1
Parent(s):
31bff5a
test
Browse files
app.py
CHANGED
@@ -188,6 +188,8 @@ def regex_table(dataframe, regex, filter_button):
|
|
188 |
with gr.Blocks() as app:
|
189 |
# create tabs for the app, moving the current table to one titled "rewardbench" and the benchmark_text to a tab called "About"
|
190 |
with gr.Row():
|
|
|
|
|
191 |
with gr.Column(scale=2.2):
|
192 |
# search = gr.Textbox(label="Model Search (delimit with , )", placeholder="Regex search for a model")
|
193 |
# filter_button = gr.Checkbox(label="Include AI2 training runs (or type ai2 above).", interactive=True)
|
@@ -195,8 +197,6 @@ with gr.Blocks() as app:
|
|
195 |
gr.Markdown("""
|
196 |
![](file/src/logo.png)
|
197 |
""")
|
198 |
-
with gr.Column(scale=3):
|
199 |
-
gr.Markdown(TOP_TEXT)
|
200 |
with gr.Tabs(elem_classes="tab-buttons") as tabs:
|
201 |
with gr.TabItem("π RewardBench Leaderboard"):
|
202 |
with gr.Row():
|
@@ -335,4 +335,4 @@ with gr.Blocks() as app:
|
|
335 |
scheduler = BackgroundScheduler()
|
336 |
scheduler.add_job(restart_space, "interval", seconds=10800) # restarted every 3h
|
337 |
scheduler.start()
|
338 |
-
app.launch() # had .queue() before launch before... not sure if that's necessary
|
|
|
188 |
with gr.Blocks() as app:
|
189 |
# create tabs for the app, moving the current table to one titled "rewardbench" and the benchmark_text to a tab called "About"
|
190 |
with gr.Row():
|
191 |
+
with gr.Column(scale=3):
|
192 |
+
gr.Markdown(TOP_TEXT)
|
193 |
with gr.Column(scale=2.2):
|
194 |
# search = gr.Textbox(label="Model Search (delimit with , )", placeholder="Regex search for a model")
|
195 |
# filter_button = gr.Checkbox(label="Include AI2 training runs (or type ai2 above).", interactive=True)
|
|
|
197 |
gr.Markdown("""
|
198 |
![](file/src/logo.png)
|
199 |
""")
|
|
|
|
|
200 |
with gr.Tabs(elem_classes="tab-buttons") as tabs:
|
201 |
with gr.TabItem("π RewardBench Leaderboard"):
|
202 |
with gr.Row():
|
|
|
335 |
scheduler = BackgroundScheduler()
|
336 |
scheduler.add_job(restart_space, "interval", seconds=10800) # restarted every 3h
|
337 |
scheduler.start()
|
338 |
+
app.launch(allowed_paths=['src/']) # had .queue() before launch before... not sure if that's necessary
|