Skip to content

Commit 9937faa

Browse files
authored
Merge pull request #15 from menloresearch/ci/upstream-sync
ci: update upstream sync
2 parents 3e510df + 56cbbad commit 9937faa

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

.github/workflows/upstream-sync.yml

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,6 @@ on:
44
schedule:
55
- cron: '0 0 * * *' # Daily at midnight UTC
66
workflow_dispatch: # Manual trigger
7-
pull_request:
8-
branches: [dev]
97

108
jobs:
119
sync-and-update:
@@ -136,7 +134,7 @@ jobs:
136134
GITHUB_TOKEN: ${{ secrets.PAT_SERVICE_ACCOUNT }}
137135
run: |
138136
echo "Attempting to merge PR #$PR_NUMBER..."
139-
gh pr merge $PR_NUMBER --repo menloresearch/llama.cpp --merge || MERGE_FAILED=$?
137+
gh pr merge $PR_NUMBER --repo menloresearch/llama.cpp --merge --admin || MERGE_FAILED=$?
140138
141139
if [ ! -z "$MERGE_FAILED" ]; then
142140
echo "Failed to merge PR. Error code: $MERGE_FAILED"

0 commit comments

Comments
 (0)