From a71807c784a1a58d2bff3441a9771fda71e0e2ee Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 30 Mar 2022 17:25:23 -0700 Subject: [PATCH] ci: Update older PRs first. (#8477) --- .github/workflows/ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.30.2