Update

app.py

@@ -50,11 +50,13 @@ OWNER_CHOICES = [WHOAMI, 'other organizations']
 
 
 def update_df(status: list[str], hardware: list[str], sdk: list[str],
-              owner: list[str]) -> pd.DataFrame:
+              owner: list[str], multiple_replicas: bool) -> pd.DataFrame:
     df_raw = demo_list.df_raw
     df = demo_list.df
     df = df[(df_raw.status.isin(status)) & (df_raw.hardware.isin(hardware)) &
             (df_raw.sdk.isin(sdk))]
+    if multiple_replicas:
+        df = df[df_raw.replicas > 1]
     if set(owner) == set(OWNER_CHOICES):
         pass
     elif WHOAMI in owner:
@@ -110,6 +112,7 @@ with gr.Blocks(css='style.css') as demo:
                                  choices=OWNER_CHOICES,
                                  value=OWNER_CHOICES,
                                  type='value')
+        multiple_replicas = gr.Checkbox(label='Multiple replicas', value=False)
         apply_button = gr.Button('Apply')
     df = gr.Dataframe(value=demo_list.df,
                       datatype=demo_list.column_datatype,
@@ -133,8 +136,9 @@ with gr.Blocks(css='style.css') as demo:
                queue=False,
                show_progress=False,
                api_name=False)
-    apply_button.click(fn=update_df,
-                       inputs=[status, hardware, sdk, owner],
-                       outputs=df,
-                       api_name=False)
+    apply_button.click(
+        fn=update_df,
+        inputs=[status, hardware, sdk, owner, multiple_replicas],
+        outputs=df,
+        api_name=False)
 demo.queue(api_open=False).launch()