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
Read the file ./tmp/step-summary.md which contains the Issue Bot step summary from CI in Markdown format. Interpret this Markdown to figure out which GitHub issues need regression tests added. For each affected issue (where behavior changed), run /regression-test with the issue number.
300
-
301
-
Also read the diff of this branch to see what has already been done. The primary fixed issue will already have a test committed. The Issue Bot step summary might mention other fixed issues, so please add regression tests for those.
302
-
303
-
Do not create a branch or push - this will be handled automatically.
304
-
305
-
- name: "Push"
306
-
if: steps.check.outputs.skip != 'true'
307
-
run: |
308
-
if [ "$(git rev-parse HEAD)" = "$(git rev-parse @{u})" ]; then
309
-
echo "No new commits to push"
310
-
exit 0
311
-
fi
312
-
313
-
git push
314
-
315
-
- name: "Update PR description"
316
-
if: steps.check.outputs.skip != 'true'
317
-
env:
318
-
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
319
-
BEFORE_SHA: ${{ steps.before.outputs.sha }}
320
-
run: |
321
-
CURRENT_SHA="$(git rev-parse HEAD)"
322
-
323
-
if [ "$BEFORE_SHA" = "$CURRENT_SHA" ]; then
324
-
echo "No new commits, skipping PR description update"
0 commit comments