Update app.py
Browse files
    	
        app.py
    CHANGED
    
    | 
         @@ -87,7 +87,7 @@ with demo: 
     | 
|
| 87 | 
         
             
                        leaderboard_table = gr.Dataframe(
         
     | 
| 88 | 
         
             
                            value=df[ALL_COLUMNS_ORDERED],
         
     | 
| 89 | 
         
             
                            headers=list(df.columns),
         
     | 
| 90 | 
         
            -
                            datatype=["html" if col in ["Model","HF Model"] else "str" for col in df.columns],
         
     | 
| 91 | 
         
             
                            interactive=False,
         
     | 
| 92 | 
         
             
                            wrap=False
         
     | 
| 93 | 
         
             
                        )
         
     | 
| 
         @@ -112,7 +112,7 @@ with demo: 
     | 
|
| 112 | 
         
             
                            leaderboard_table_cat = gr.Dataframe(
         
     | 
| 113 | 
         
             
                                value=cat_df,
         
     | 
| 114 | 
         
             
                                headers=list(cat_df.columns),
         
     | 
| 115 | 
         
            -
                                datatype=["html" if col in ["Model","HF Model"] else "str" for col in cat_df.columns],
         
     | 
| 116 | 
         
             
                                interactive=False,
         
     | 
| 117 | 
         
             
                                wrap=False
         
     | 
| 118 | 
         
             
                            )
         
     | 
| 
         | 
|
| 87 | 
         
             
                        leaderboard_table = gr.Dataframe(
         
     | 
| 88 | 
         
             
                            value=df[ALL_COLUMNS_ORDERED],
         
     | 
| 89 | 
         
             
                            headers=list(df.columns),
         
     | 
| 90 | 
         
            +
                            datatype=["html" if col in ["Model Name (clickable)","HF Model"] else "str" for col in df.columns],
         
     | 
| 91 | 
         
             
                            interactive=False,
         
     | 
| 92 | 
         
             
                            wrap=False
         
     | 
| 93 | 
         
             
                        )
         
     | 
| 
         | 
|
| 112 | 
         
             
                            leaderboard_table_cat = gr.Dataframe(
         
     | 
| 113 | 
         
             
                                value=cat_df,
         
     | 
| 114 | 
         
             
                                headers=list(cat_df.columns),
         
     | 
| 115 | 
         
            +
                                datatype=["html" if col in ["Model Name (clickable)","HF Model"] else "str" for col in cat_df.columns],
         
     | 
| 116 | 
         
             
                                interactive=False,
         
     | 
| 117 | 
         
             
                                wrap=False
         
     | 
| 118 | 
         
             
                            )
         
     |