Fix CI script and remove unnecessary CI build arg (#248)

.github/scripts/pull-or-build-base-zkvm-image.sh

@@ -19,7 +19,7 @@ if docker image pull $CACHED_BASE_IMAGE; then
 else
     echo "Building ere-base"
     docker build \
-        --file docker/base/Dockerfile.base \
+        --file docker/Dockerfile.base \
         --tag $BASE_IMAGE \
         .
 fi
@@ -34,6 +34,5 @@ else
         --file docker/$ZKVM/Dockerfile.base \
         --tag $BASE_ZKVM_IMAGE \
         --build-arg BASE_IMAGE=$BASE_IMAGE \
-        --build-arg CI=1 \
         .
 fi

.github/workflows/test-zkvm.yml

@@ -111,7 +111,6 @@ jobs:
           tags: ${{ steps.image_meta.outputs.base_zkvm_image }}
           build-args: |
             BASE_IMAGE=${{ steps.image_meta.outputs.base_image }}
-            CI=1
 
       - name: Build ere-compiler-${{ inputs.zkvm }} image
         if: github.event_name == 'push' && github.ref == 'refs/heads/master'

docker/zisk/Dockerfile.base

@@ -45,9 +45,6 @@ COPY --chmod=755 scripts/sdk_installers/install_zisk_sdk.sh /tmp/install_zisk_sd
 
 # Run the ZisK SDK installation script using ziskup.
 # This script installs the 'zisk' Rust toolchain and `cargo-zisk`
-#
-# If argument `CI` is set, we only install verifying key, this is used by GitHub
-# CI runner which only has small disk space (proving key requires ~27 GB).
 RUN /tmp/install_zisk_sdk.sh && \
     rm /tmp/install_zisk_sdk.sh && \
     # Remove the merkle tree of proving key to reduce docker image size (~20 GB).