We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8e201ef commit a70cd28Copy full SHA for a70cd28
1 file changed
ci/build_env_image.sh
@@ -6,16 +6,16 @@ GIT_COMMIT_SHA=${GIT_COMMIT_SHA:?"GIT_COMMIT_SHA is not set"}
6
7
echo "GIT_COMMIT_SHA: $GIT_COMMIT_SHA"
8
9
+RUN_ID="areal-$GIT_COMMIT_SHA"
10
+cd "/tmp/$RUN_ID"
11
+
12
# If there is already an image for the current environment, skip the build.
13
ENV_SHA=$(sha256sum pyproject.toml | awk '{print $1}')
14
if docker images --format '{{.Repository}}:{{.Tag}}' | grep -q "areal-env:$ENV_SHA"; then
15
echo "Image areal-env already exists, skipping build."
16
exit 0
17
fi
18
-RUN_ID="areal-$GIT_COMMIT_SHA"
-cd "/tmp/$RUN_ID"
-
19
if docker ps -a --format '{{.Names}}' | grep -q "$RUN_ID"; then
20
docker rm -f $RUN_ID
21
0 commit comments