different emojis

app.py

@@ -21,6 +21,7 @@ from src.utils import (
 )
 
 HARDWARES = ["A100-80GB", "RTX4090-24GB"]
+HARDWARES_EMOJIS = ["🖥️", "💻"]
 LLM_PERF_LEADERBOARD_REPO = "optimum/llm-perf-leaderboard"
 LLM_PERF_DATASET_REPO = "optimum/llm-perf-dataset"
 OPTIMUM_TOKEN = os.environ.get("OPTIMUM_TOKEN", None)
@@ -232,10 +233,10 @@ with demo:
         hardware_tables = {}
         hardware_plots = {}
         ####################### HARDWARE TABS #######################
-        for i, hardware in enumerate(["A100-80GB", "RTX4090-24GB"]):
+        for i, (hardware, emoji) in enumerate(zip(HARDWARES, HARDWARES_EMOJIS)):
             # dummy placeholder of the hardware name
             hardware_placeholders[hardware] = gr.Textbox(value=hardware, visible=False)
-            with gr.TabItem(f"{hardware} 🖥️", id=i):
+            with gr.TabItem(f"{hardware} {emoji}", id=i):
                 with gr.Tabs(elem_classes="hardware-tabs"):
                     # placeholder for full dataframe
                     hardware_df = get_benchmark_df(benchmark=f"Succeeded-1x{hardware}")