diff --git a/.github/workflows/docker_build_push.sh b/.github/workflows/docker_build_push.sh index 642b9b53db6d..6a7fa360ec89 100755 --- a/.github/workflows/docker_build_push.sh +++ b/.github/workflows/docker_build_push.sh @@ -70,6 +70,20 @@ docker build --target lean \ --label "build_actor=${GITHUB_ACTOR}" \ . +# +# Build the "lean311" image +# +docker build --target lean \ + -t "${REPO_NAME}:${SHA}-py311" \ + -t "${REPO_NAME}:${REFSPEC}-py311" \ + -t "${REPO_NAME}:${LATEST_TAG}-py311" \ + --build-arg PY_VER="3.11-slim"\ + --label "sha=${SHA}" \ + --label "built_at=$(date)" \ + --label "target=lean311" \ + --label "build_actor=${GITHUB_ACTOR}" \ + . + # # Build the "websocket" image #