[CI/Build] remove .github from .dockerignore, add dirty repo check (#9375)

2026-06-27 17:32:55 +08:00 · 2024-10-17 19:25:06 +02:00
parent 81ede99ca4
commit a2c71c5405
12 changed files with 54 additions and 17 deletions
@@ -14,6 +14,9 @@ RUN micromamba install -y -n base -c https://ftp.osuosl.org/pub/open-ce/1.11.0-p
 COPY ./ /workspace/vllm

 WORKDIR /workspace/vllm
+ARG GIT_REPO_CHECK=0
+RUN --mount=type=bind,source=.git,target=.git \
+    if [ "$GIT_REPO_CHECK" != 0 ]; then bash tools/check_repo.sh; fi

 # These packages will be in rocketce eventually
 RUN --mount=type=cache,target=/root/.cache/pip  \