Update app.py

app.py

@@ -285,9 +285,11 @@ div[class*="gradio-container"] .md *
 introduction_text = """
 
 """
+favicon_head = '<link rel="icon" type="image/jpeg" href="https://africa.dlnlp.ai/sahara/img/sahara_logo.jpg">'
+
 # with gr.Blocks(title="Sahara Leaderboard", css=custom_css) as demo:
 # with gr.Blocks(title="Sahara Leaderboard") as demo:
-with gr.Blocks(theme=gr.themes.Default(), title="Sahara Benchmark Leaderboards", css=google_style_css) as demo:
+with gr.Blocks(theme=gr.themes.Default(), title="Sahara Benchmark Leaderboards", css=google_style_css, head=favicon_head) as demo:
     # Use elem_classes to apply our custom CSS to this group
     gr.HTML(new_header_html)
     # === UPDATED BUTTONS START ===