Merge GitHub main into Hugging Face main

embeddings-benchmark · Jul 7, 2024 · 34dbe52 · 34dbe52
1 parent b11a1de
commit 34dbe52
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -16,4 +16,4 @@ jobs:
       - name: Push to hub
         env:
           HF_TOKEN: ${{ secrets.HF_TOKEN }}
-        run: git push https://mteb:[email protected]/spaces/mteb/leaderboard-in-progress main
+        run: git push https://mteb:[email protected]/spaces/mteb/leaderboard main
diff --git a/.github/workflows/update_leaderboard.yml b/.github/workflows/update_leaderboard.yml
@@ -37,4 +37,4 @@ jobs:
     - name: Push to hub
       env:
         HF_TOKEN: ${{ secrets.HF_TOKEN }}
-      run: git push https://mteb:[email protected]/spaces/mteb/leaderboard-in-progress main
+      run: git push https://mteb:[email protected]/spaces/mteb/leaderboard main