Update app.py

app.py

@@ -180,6 +180,7 @@ with block:
         # total_models = get_total_models()
         # gr.HTML(f"<h1>HIVEX-Leaderboard</h1><p>Total models: {total_models}</p>")
         gr.HTML("<h1>HIVEX-Leaderboard</h1>")
+        gr.HTML(f"<p>Total models: {get_total_models()}</p>")
 
     path_ = download_leaderboard_dataset()
     # gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")