You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
--body "⚠️ \`/benchmark --save\` aborted: \`main\` has diverged and cannot be auto-merged into this branch. Please merge or rebase \`main\` manually, push, and re-run \`/benchmark --save\`."
82
+
exit 1
83
+
fi
84
+
63
85
- name: Clean previous containers, results, and temp data
if ! git merge --no-commit --no-ff origin/main; then
99
+
git merge --abort 2>/dev/null || true
100
+
gh pr comment "${{ steps.parse.outputs.pr }}" \
101
+
--repo "${{ github.repository }}" \
102
+
--body "⚠️ \`/benchmark --save\` cannot start: \`main\` has diverged and cannot be auto-merged into this branch. Please merge or rebase \`main\` manually, push, and re-run \`/benchmark --save\`."
103
+
exit 1
104
+
fi
105
+
# Discard the merged state — actual merge runs in benchmark-pr.yml
106
+
# after maintainer approval. main may move between now and then.
107
+
git merge --abort 2>/dev/null || true
108
+
85
109
- name: React to comment
86
110
run: |
87
111
gh api "/repos/${{ github.repository }}/issues/comments/${{ github.event.comment.id }}/reactions" -f content="rocket"
0 commit comments