Test with the JikesRVM PR

mmtk · Oct 24, 2023 · b5250e7 · b5250e7
1 parent 614e2d0
commit b5250e7
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/auto-merge.yml b/.github/workflows/auto-merge.yml
@@ -3,9 +3,7 @@ name: Auto Merge Binding PRs
 # Only trigger on push to master. The workflow needs to use repo secrets.
 # Triggering on master can make sure we have secrets.
 on:
-  push:
-    branches:
-    - master
+  push
 
 jobs:
   # Figure out the PR that is merged.
@@ -19,7 +17,7 @@ jobs:
         run: echo "commit=${GITHUB_SHA}" >> "$GITHUB_OUTPUT"
       - id: get-pr
         run: |
-          PR_NUMBER=$(gh pr list --search "${GITHUB_SHA}" --state merged --repo mmtk/mmtk-core --json number --jq '.[0].number')
+          PR_NUMBER=$(gh pr list --search "${GITHUB_SHA}" --repo mmtk/mmtk-core --json number --jq '.[0].number')
           echo "pr=$PR_NUMBER" >> "$GITHUB_OUTPUT"
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}