CI: avoid SIGPIPE when selecting core release tag

Author: rwgk

.github/workflows/ci.yml

@@ -255,11 +255,11 @@ jobs:
           GH_TOKEN: ${{ github.token }}
         run: |
           # --paginate fetches all pages; jq outputs one name per line per page;
-          # head -1 takes the first (newest) match since GitHub returns tags
-          # newest-first. Fails hard if no cuda-core-v* tag is found.
+          # sed prints the first (newest) match while consuming all pages, so
+          # gh can complete without SIGPIPE. Fails if no cuda-core-v* tag is found.
           tag="$(gh api "repos/$GITHUB_REPOSITORY/tags" --paginate \
             --jq '.[] | select(.name | startswith("cuda-core-v")) | .name' \
-            | head -1)"
+            | sed -n '1p')"
           if [[ -z "${tag}" ]]; then
             echo "::error::No cuda-core-v* tag found in the repository." >&2
             exit 1