Merge pull request #2 from embeddings-benchmark/merge-hf-github

Merge GitHub main into Hugging Face main
embeddings-benchmark · Jul 7, 2024 · 438dd62 · 438dd62
2 parents b11a1de + 34dbe52
commit 438dd62
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