diff --git a/scripts/docker_common.sh b/scripts/docker_common.sh index 9dfc46ae..a3638c65 100755 --- a/scripts/docker_common.sh +++ b/scripts/docker_common.sh @@ -28,9 +28,12 @@ popd if [ "${DOCKER_CREATE_ONLY}" != "1" ]; then docker run -td \ + --env DEVELOPER_PRIVATE_KEY=${DEVELOPER_PRIVATE_KEY} \ + --env DEVELOPER_PUBLIC_KEY=${DEVELOPER_PUBLIC_KEY} \ --env MY_NUM_JOBS=${NUM_JOBS} \ --name ${DOCKER_CONTAINER} \ -u $(id -u):$(id -g) \ + -v /.ci/${PROJECT_NAME}:/.ci/${PROJECT_NAME}:r \ -v ${PROJECT_SOURCE_DIR}:${PROJECT_SOURCE_DIR}:rw,z \ -w ${PROJECT_SOURCE_DIR} \ ${DOCKER_TAG} || exit 1