From 47b6c8e95eb79f969be54679df75baeec817e37a Mon Sep 17 00:00:00 2001
From: Yan <yans@yancomm.net>
Date: Mon, 24 Aug 2026 02:41:53 +0000
Subject: [PATCH] ci: use the shared angr/binaries ref action

The resolution logic added in #738 is duplicated in each repository that
needs it. Call the shared composite action instead.
---
 .github/workflows/ci.yml | 24 ++----------------------
 1 file changed, 2 insertions(+), 22 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a96ceb0eb..e9a99890e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,28 +21,8 @@ jobs:
       - uses: actions/checkout@v6
         with:
           path: cle
-      - name: Resolve the angr/binaries ref
-        id: binaries-ref
-        shell: bash
-        env:
-          GH_TOKEN: ${{ github.token }}
-          PR_BODY: ${{ github.event.pull_request.body }}
-        run: |
-          ref=master
-          number=$(printf '%s' "$PR_BODY" |
-            grep -Eo '(angr/binaries#|github\.com/angr/binaries/pull/)[0-9]+' |
-            head -n 1 |
-            grep -Eo '[0-9]+$') || true
-          if [ -n "$number" ]; then
-            state=$(gh api "repos/angr/binaries/pulls/$number" --jq .state) || state=unavailable
-            if [ "$state" = open ]; then
-              ref="refs/pull/$number/head"
-            else
-              echo "angr/binaries#$number is $state, so it is not used"
-            fi
-          fi
-          echo "Checking out angr/binaries at $ref"
-          echo "ref=$ref" >>"$GITHUB_OUTPUT"
+      - id: binaries-ref
+        uses: angr/ci-settings/actions/binaries-ref@master
       - uses: actions/checkout@v6
         with:
           repository: angr/binaries