github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-04-03 03:00:17 -04:00
Code Issues Packages Projects Releases Wiki Activity

Refactors (#244)

Browse Source
This commit is contained in:
Han
2025-12-12 10:31:11 +09:00
committed by GitHub
parent d15c6b495d
commit e602c1824e
37 changed files with 390 additions and 251 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
.github/scripts/pull-or-build-base-zkvm-image.sh vendored
View File

@@ -3,14 +3,14 @@
set -e -o pipefail
ZKVM=$1
IMAGE_REPO=$2
IMAGE_REGISTRY=$2
IMAGE_TAG=$3
CACHED_IMAGE_TAG=$4
BASE_IMAGE="$IMAGE_REPO/ere-base:$IMAGE_TAG"
BASE_ZKVM_IMAGE="$IMAGE_REPO/ere-base-$ZKVM:$IMAGE_TAG"
CACHED_BASE_IMAGE="$IMAGE_REPO/ere-base:$CACHED_IMAGE_TAG"
CACHED_BASE_ZKVM_IMAGE="$IMAGE_REPO/ere-base-$ZKVM:$CACHED_IMAGE_TAG"
BASE_IMAGE="$IMAGE_REGISTRY/ere-base:$IMAGE_TAG"
BASE_ZKVM_IMAGE="$IMAGE_REGISTRY/ere-base-$ZKVM:$IMAGE_TAG"
CACHED_BASE_IMAGE="$IMAGE_REGISTRY/ere-base:$CACHED_IMAGE_TAG"
CACHED_BASE_ZKVM_IMAGE="$IMAGE_REGISTRY/ere-base-$ZKVM:$CACHED_IMAGE_TAG"
# Pull or build ere-base locally
if docker image pull $CACHED_BASE_IMAGE; then