ci/scripts: point GAP9 docker image at runwangdl/deeploy:gap9

Replace upstream ghcr.io/pulp-platform/deeploy-gap9:devel with the
fork-owned ghcr.io/runwangdl/deeploy:gap9 image in:

- ci-platform-gap9.yml (default + select-env fallback)
- ci-platform-gap9-tiled.yml (default + select-env fallback)
- infra-generate-ccache-gap9.yml (default + container image)
- scripts/gap9-run.sh (GAP9_IMAGE default)

Author: runwangdl

.github/workflows/ci-platform-gap9-tiled.yml

@@ -17,7 +17,7 @@ name: CI • GAP9 (Tiled)
       docker_image_deeploy:
         description: "Deeploy Image to use"
         required: false
-        default: "ghcr.io/pulp-platform/deeploy-gap9:devel"
+        default: "ghcr.io/runwangdl/deeploy:gap9"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -27,7 +27,7 @@ jobs:
   select-env:
     uses: ./.github/workflows/_select-env.yml
     with:
-      docker_image_deeploy: ${{ github.event.inputs.docker_image_deeploy || 'ghcr.io/pulp-platform/deeploy-gap9:devel' }}
+      docker_image_deeploy: ${{ github.event.inputs.docker_image_deeploy || 'ghcr.io/runwangdl/deeploy:gap9' }}
 
   gap9-kernels-tiled-singlebuffer-L2:
     needs: select-env

.github/workflows/ci-platform-gap9.yml

@@ -17,7 +17,7 @@ name: CI • GAP9
       docker_image_deeploy:
         description: "Deeploy Image to use"
         required: false
-        default: "ghcr.io/pulp-platform/deeploy-gap9:devel"
+        default: "ghcr.io/runwangdl/deeploy:gap9"
 
 
 concurrency:
@@ -28,7 +28,7 @@ jobs:
   select-env:
     uses: ./.github/workflows/_select-env.yml
     with:
-      docker_image_deeploy: ${{ github.event.inputs.docker_image_deeploy || 'ghcr.io/pulp-platform/deeploy-gap9:devel' }}
+      docker_image_deeploy: ${{ github.event.inputs.docker_image_deeploy || 'ghcr.io/runwangdl/deeploy:gap9' }}
 
   gap9-kernels:
     needs: select-env

.github/workflows/infra-generate-ccache-gap9.yml

@@ -11,7 +11,7 @@ name: Infrastructure • Generate CCache GAP9
       docker_image_deeploy:
         description: "Deeploy GAP9 Image to use"
         required: false
-        default: "ghcr.io/pulp-platform/deeploy-gap9:devel"
+        default: "ghcr.io/runwangdl/deeploy:gap9"
   schedule:
     # Runs the workflow on the default branch every day at 2AM CET to keep the cache fresh
     - cron: "0 2 * * *"
@@ -21,7 +21,7 @@ jobs:
     if: github.repository == 'pulp-platform/Deeploy'
     runs-on: ubuntu-latest
     container:
-      image: ${{ github.event.inputs.docker_image_deeploy || 'ghcr.io/pulp-platform/deeploy-gap9:devel' }}
+      image: ${{ github.event.inputs.docker_image_deeploy || 'ghcr.io/runwangdl/deeploy:gap9' }}
     steps:
       - name: Mark workspace as safe
         run: git config --global --add safe.directory '*'

scripts/gap9-run.sh

@@ -25,7 +25,7 @@ set -euo pipefail
 #########################################################################
 
 # Image and container names
-GAP9_IMAGE="ghcr.io/pulp-platform/deeploy-gap9"
+GAP9_IMAGE="ghcr.io/runwangdl/deeploy:gap9"
 USBIP_IMAGE="jonathanberi/devmgr"
 
 DOCKER_PLATFORM="auto"