Spaces:
				
			
			
	
			
			
					
		Running
		
	
	
	
			
			
	
	
	
	
		
		
					
		Running
		
	Finally it works
Browse files
    	
        app.py
    CHANGED
    
    | 
         @@ -214,14 +214,14 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main: 
     | 
|
| 214 | 
         
             
                            with gr.Row():
         
     | 
| 215 | 
         
             
                                category_of_tasks = gr.Dropdown(
         
     | 
| 216 | 
         
             
                                    choices=[leaderboard_server.tasks_category_overall] + list(leaderboard_server.tasks_categories),
         
     | 
| 217 | 
         
            -
                                    value= 
     | 
| 218 | 
         
            -
                                    label="Category of  
     | 
| 219 | 
         
             
                                    interactive=True,
         
     | 
| 220 | 
         
             
                                )
         
     | 
| 221 | 
         | 
| 222 | 
         
             
                            with gr.Row():
         
     | 
| 223 | 
         
             
                                results_table = gr.DataFrame(
         
     | 
| 224 | 
         
            -
                                    leaderboard_server.get_leaderboard( 
     | 
| 225 | 
         
             
                                    interactive=False,
         
     | 
| 226 | 
         
             
                                    label=None,
         
     | 
| 227 | 
         
             
                                    visible=True,
         
     | 
| 
         | 
|
| 214 | 
         
             
                            with gr.Row():
         
     | 
| 215 | 
         
             
                                category_of_tasks = gr.Dropdown(
         
     | 
| 216 | 
         
             
                                    choices=[leaderboard_server.tasks_category_overall] + list(leaderboard_server.tasks_categories),
         
     | 
| 217 | 
         
            +
                                    value=leaderboard_server.tasks_category_overall,
         
     | 
| 218 | 
         
            +
                                    label="Category of benchmarks",
         
     | 
| 219 | 
         
             
                                    interactive=True,
         
     | 
| 220 | 
         
             
                                )
         
     | 
| 221 | 
         | 
| 222 | 
         
             
                            with gr.Row():
         
     | 
| 223 | 
         
             
                                results_table = gr.DataFrame(
         
     | 
| 224 | 
         
            +
                                    leaderboard_server.get_leaderboard(),
         
     | 
| 225 | 
         
             
                                    interactive=False,
         
     | 
| 226 | 
         
             
                                    label=None,
         
     | 
| 227 | 
         
             
                                    visible=True,
         
     |