Commit 
							
							·
						
						34dbe52
	
1
								Parent(s):
							
							b11a1de
								
Merge GitHub main into Hugging Face main
Browse files
    	
        .github/workflows/main.yml
    CHANGED
    
    | @@ -16,4 +16,4 @@ jobs: | |
| 16 | 
             
                  - name: Push to hub
         | 
| 17 | 
             
                    env:
         | 
| 18 | 
             
                      HF_TOKEN: ${{ secrets.HF_TOKEN }}
         | 
| 19 | 
            -
                    run: git push https://mteb:[email protected]/spaces/mteb/leaderboard | 
|  | |
| 16 | 
             
                  - name: Push to hub
         | 
| 17 | 
             
                    env:
         | 
| 18 | 
             
                      HF_TOKEN: ${{ secrets.HF_TOKEN }}
         | 
| 19 | 
            +
                    run: git push https://mteb:[email protected]/spaces/mteb/leaderboard main
         | 
    	
        .github/workflows/update_leaderboard.yml
    CHANGED
    
    | @@ -37,4 +37,4 @@ jobs: | |
| 37 | 
             
                - name: Push to hub
         | 
| 38 | 
             
                  env:
         | 
| 39 | 
             
                    HF_TOKEN: ${{ secrets.HF_TOKEN }}
         | 
| 40 | 
            -
                  run: git push https://mteb:[email protected]/spaces/mteb/leaderboard | 
|  | |
| 37 | 
             
                - name: Push to hub
         | 
| 38 | 
             
                  env:
         | 
| 39 | 
             
                    HF_TOKEN: ${{ secrets.HF_TOKEN }}
         | 
| 40 | 
            +
                  run: git push https://mteb:[email protected]/spaces/mteb/leaderboard main
         | 
 
			
