ci: Update older PRs first. (#8477)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3da70c4538a4d508b9d5017498d00378f7128250..8232933b1b81b8e71fec3e48f0e093476e9326bb 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -140,8 +140,10 @@ jobs:
     if: github.repository == 'cvc5/cvc5' && github.event_name == 'push'
     steps:
       - name: Automatically update PR
-        uses: adRise/update-pr-branch@v0.5.1
+        uses: adRise/update-pr-branch@v0.6.0
         with:
           token: ${{ secrets.ACTION_USER_TOKEN }}
           base: 'main'
+          sort: 'created'
+          direction: 'asc'
           required_approval_count: 1