mirror of https://github.com/milvus-io/milvus.git
enhance: [skip e2e]remove-old-builder (#29384)
Signed-off-by: Sammy Huang <sammy.huang@zilliz.com>pull/29410/head
parent
1997fd150c
commit
4ee643a984
|
@ -58,7 +58,16 @@ jobs:
|
||||||
run: |
|
run: |
|
||||||
docker run --rm --privileged tonistiigi/binfmt:latest --install arm64
|
docker run --rm --privileged tonistiigi/binfmt:latest --install arm64
|
||||||
docker buildx ls
|
docker buildx ls
|
||||||
|
|
||||||
|
# Check if the builder named "milvus" exists
|
||||||
|
if docker buildx ls | grep -q "milvus"; then
|
||||||
|
echo "Builder 'milvus' already exists. Skipping creation."
|
||||||
|
else
|
||||||
|
# Create the builder named "milvus"
|
||||||
|
echo "Creating builder named 'milvus'..."
|
||||||
docker buildx create --use --name=milvus --driver docker-container
|
docker buildx create --use --name=milvus --driver docker-container
|
||||||
|
echo "'milvus' builder created."
|
||||||
|
fi
|
||||||
- name: Docker Build
|
- name: Docker Build
|
||||||
if: success() && github.event_name == 'pull_request' && github.repository == 'milvus-io/milvus'
|
if: success() && github.event_name == 'pull_request' && github.repository == 'milvus-io/milvus'
|
||||||
shell: bash
|
shell: bash
|
||||||
|
|
Loading…
Reference in New Issue