Fix ci-coach workflow: add explicit repo specification to gh CLI commands (#6099)

* Initial plan

* Plan to fix ci-coach workflow pre-download step

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>

* Fix ci-coach workflow by adding explicit repository specification to gh CLI commands

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Co-authored-by: Peli de Halleux <pelikhan@users.noreply.github.com>

Author: Copilot

.github/workflows/ci-coach.lock.yml

@@ -23,16 +23,16 @@ steps:
       GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     run: |
       # Download workflow runs for the ci workflow
-      gh run list --workflow=ci.yml --limit 100 --json databaseId,status,conclusion,createdAt,updatedAt,displayTitle,headBranch,event,url,workflowDatabaseId,runNumber > /tmp/ci-runs.json
+      gh run list --repo ${{ github.repository }} --workflow=ci.yml --limit 100 --json databaseId,status,conclusion,createdAt,updatedAt,displayTitle,headBranch,event,url,workflowDatabaseId,runNumber > /tmp/ci-runs.json
       
       # Create directory for artifacts
       mkdir -p /tmp/ci-artifacts
       
       # Download artifacts from recent runs (last 5 successful runs)
       echo "Downloading artifacts from recent CI runs..."
-      gh run list --workflow=ci.yml --status success --limit 5 --json databaseId | jq -r '.[].databaseId' | while read run_id; do
+      gh run list --repo ${{ github.repository }} --workflow=ci.yml --status success --limit 5 --json databaseId | jq -r '.[].databaseId' | while read run_id; do
         echo "Processing run $run_id"
-        gh run download "$run_id" --dir "/tmp/ci-artifacts/$run_id" 2>/dev/null || echo "No artifacts for run $run_id"
+        gh run download "$run_id" --repo ${{ github.repository }} --dir "/tmp/ci-artifacts/$run_id" 2>/dev/null || echo "No artifacts for run $run_id"
       done
       
       echo "CI runs data saved to /tmp/ci-runs.json"