Spaces:
Running
Running
Orion Weller
commited on
Commit
•
5f9b371
1
Parent(s):
185b5fc
Update update_leaderboard.yml
Browse files
.github/workflows/update_leaderboard.yml
CHANGED
@@ -42,26 +42,17 @@ jobs:
|
|
42 |
all_data_tasks/*
|
43 |
committer: Orion Weller <[email protected]>
|
44 |
author: Orion Weller <[email protected]>
|
45 |
-
- name:
|
46 |
-
if: steps.cpr.outputs.pull-request-operation == 'created'
|
47 |
-
uses: peter-evans/enable-pull-request-automerge@v3
|
48 |
-
with:
|
49 |
-
token: ${{ secrets.GITHUB_TOKEN }}
|
50 |
-
pull-request-number: ${{ steps.cpr.outputs.pull-request-number }}
|
51 |
-
merge-method: squash
|
52 |
-
- name: Automatically merge PR if all checks pass
|
53 |
-
if: steps.cpr.outputs.pull-request-operation == 'created'
|
54 |
uses: pascalgn/[email protected]
|
55 |
env:
|
56 |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
57 |
PULL_REQUEST: ${{ steps.cpr.outputs.pull-request-number }}
|
58 |
MERGE_LABELS: ""
|
59 |
MERGE_METHOD: squash
|
60 |
-
MERGE_COMMIT_MESSAGE: "
|
61 |
MERGE_RETRIES: "6"
|
62 |
MERGE_RETRY_SLEEP: "10000"
|
63 |
- name: Push to hub
|
64 |
-
if: steps.cpr.outputs.pull-request-operation == 'closed'
|
65 |
env:
|
66 |
HF_TOKEN: ${{ secrets.HF_TOKEN }}
|
67 |
run: git push https://mteb:[email protected]/spaces/mteb/leaderboard main
|
|
|
42 |
all_data_tasks/*
|
43 |
committer: Orion Weller <[email protected]>
|
44 |
author: Orion Weller <[email protected]>
|
45 |
+
- name: Automatically merge PR
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
46 |
uses: pascalgn/[email protected]
|
47 |
env:
|
48 |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
49 |
PULL_REQUEST: ${{ steps.cpr.outputs.pull-request-number }}
|
50 |
MERGE_LABELS: ""
|
51 |
MERGE_METHOD: squash
|
52 |
+
MERGE_COMMIT_MESSAGE: "automated-leaderboard-update-merge"
|
53 |
MERGE_RETRIES: "6"
|
54 |
MERGE_RETRY_SLEEP: "10000"
|
55 |
- name: Push to hub
|
|
|
56 |
env:
|
57 |
HF_TOKEN: ${{ secrets.HF_TOKEN }}
|
58 |
run: git push https://mteb:[email protected]/spaces/mteb/leaderboard main
|