chore: fix next-net deployment (#23268)

Fix prover-agent docker image tag

Author: PhilWindle

.github/workflows/deploy-network.yml

@@ -142,10 +142,18 @@ jobs:
           fi
           echo "AZTEC_DOCKER_IMAGE=$AZTEC_DOCKER_IMAGE" >> $GITHUB_ENV
 
-          # Only use the separate prover-agent image for official semver builds;
-          # for custom images, let the deploy script fall back to AZTEC_DOCKER_IMAGE
+          # Use the CRS-baked prover-agent image when it exists; otherwise let the
+          # deploy script fall back to AZTEC_DOCKER_IMAGE and download CRS on startup.
           if [[ -n "${{ inputs.semver }}" ]]; then
-            echo "PROVER_AGENT_DOCKER_IMAGE=aztecprotocol/aztec-prover-agent:${{ inputs.semver }}" >> $GITHUB_ENV
+            PROVER_AGENT_DOCKER_IMAGE="aztecprotocol/aztec-prover-agent:${{ inputs.semver }}"
+
+            echo "Checking if prover agent image exists: $PROVER_AGENT_DOCKER_IMAGE"
+            if docker manifest inspect "$PROVER_AGENT_DOCKER_IMAGE" > /dev/null 2>&1; then
+              echo "PROVER_AGENT_DOCKER_IMAGE=$PROVER_AGENT_DOCKER_IMAGE" >> $GITHUB_ENV
+            else
+              echo "Prover agent image does not exist: $PROVER_AGENT_DOCKER_IMAGE"
+              echo "Falling back to AZTEC_DOCKER_IMAGE for prover agents."
+            fi
           fi
 
       - name: Store the GCP key in a file

.github/workflows/deploy-next-net.yml

@@ -36,21 +36,22 @@ jobs:
             TAG="${{ inputs.image_tag }}"
             echo "Using manually specified tag: $TAG"
 
-            # Extract semver (remove -amd64 suffix if present, remove -nightly.YYYYMMDD if present)
-            SEMVER=$(echo "$TAG" | sed 's/-amd64$//' | sed 's/-nightly\.[0-9]\{8\}//')
+            # Extract semver (remove -amd64 suffix if present)
+            SEMVER=$(echo "$TAG" | sed 's/-amd64$//')
           else
             # Scheduled nightly run - get latest nightly tag
             current_version=$(jq -r '."."' .release-please-manifest.json)
             echo "Current version: $current_version"
 
             # Format the tag as: <current_version>-nightly.<YYYYMMDD>-amd64
-            nightly_tag="${current_version}-nightly.$(date -u +%Y%m%d)-amd64"
+            nightly_semver="${current_version}-nightly.$(date -u +%Y%m%d)"
+            nightly_tag="${nightly_semver}-amd64"
 
             # Check if the tag exists on docker hub
             TAGS=$(curl -s https://registry.hub.docker.com/v2/repositories/aztecprotocol/aztec/tags/$nightly_tag)
             if [[ "$TAGS" != *"not found"* ]]; then
               TAG="$nightly_tag"
-              SEMVER="$current_version"
+              SEMVER="$nightly_semver"
               echo "Using nightly tag: $TAG"
             else
               echo "Error: Tag $nightly_tag not published to docker hub"