From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 31 Mar 2022 00:25:23 +0000 (-0700)
Subject: ci: Update older PRs first. (#8477)
X-Git-Tag: cvc5-1.0.0~111
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a71807c784a1a58d2bff3441a9771fda71e0e2ee;p=cvc5.git

ci: Update older PRs first. (#8477)
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3da70c453..8232933b1 100644
--- 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