philippds commited on
Commit
bc38c39
·
verified ·
1 Parent(s): 2c2b21c

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +3 -3
app.py CHANGED
@@ -175,11 +175,11 @@ def get_data(rl_env, task, path) -> pd.DataFrame:
175
  run_update_dataset()
176
 
177
  block = gr.Blocks(css=custom_css)
178
- block = gr.Blocks()
179
  with block:
180
  with gr.Row(elem_id="header-row"):
181
- total_models = get_total_models()
182
- gr.HTML(f"<h1>HIVEX-Leaderboard</h1><p>Total models: {total_models}</p>")
 
183
 
184
  path_ = download_leaderboard_dataset()
185
  # gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
 
175
  run_update_dataset()
176
 
177
  block = gr.Blocks(css=custom_css)
 
178
  with block:
179
  with gr.Row(elem_id="header-row"):
180
+ # total_models = get_total_models()
181
+ # gr.HTML(f"<h1>HIVEX-Leaderboard</h1><p>Total models: {total_models}</p>")
182
+ gr.HTML("<h1>HIVEX-Leaderboard</h1>")
183
 
184
  path_ = download_leaderboard_dataset()
185
  # gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")