Rename base image name in docker build command
This commit is contained in:
parent
8fdd068ca0
commit
0e94e70b85
1 changed files with 2 additions and 2 deletions
4
.github/workflows/manually_build.yml
vendored
4
.github/workflows/manually_build.yml
vendored
|
|
@ -66,8 +66,8 @@ jobs:
|
||||||
cd ../bigdl-gramine
|
cd ../bigdl-gramine
|
||||||
openssl genrsa -3 -out enclave-key.pem 3072
|
openssl genrsa -3 -out enclave-key.pem 3072
|
||||||
sudo docker build \
|
sudo docker build \
|
||||||
--build-arg BIGDL_IMAGE_NAME=${base_image} \
|
--build-arg BASE_IMAGE_NAME=${base_image} \
|
||||||
--build-arg BIGDL_IMAGE_VERSION=${TAG} \
|
--build-arg BASE_IMAGE_TAG=${TAG} \
|
||||||
--build-arg SGX_MEM_SIZE=32G \
|
--build-arg SGX_MEM_SIZE=32G \
|
||||||
--build-arg SGX_LOG_LEVEL=error \
|
--build-arg SGX_LOG_LEVEL=error \
|
||||||
-t ${image}:${TAG} -f ./Dockerfile .
|
-t ${image}:${TAG} -f ./Dockerfile .
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue