diff options
author | 2020-02-21 21:55:37 -0800 | |
---|---|---|
committer | 2020-02-21 22:39:27 -0800 | |
commit | 9e0b6e6f98ce0bf728dc12a5157a7fa273c62e62 (patch) | |
tree | f9a3be1d493271bda5c2798c3e4dd03d62a03ef8 | |
parent | CI: create a function to check if an image can be pulled (diff) |
CI: check if venv image can be pulled
-rwxr-xr-x | scripts/check_dockerfiles.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/check_dockerfiles.sh b/scripts/check_dockerfiles.sh index f2b8512..df6049e 100755 --- a/scripts/check_dockerfiles.sh +++ b/scripts/check_dockerfiles.sh @@ -99,6 +99,12 @@ fi if git diff --quiet "${prev_commit}" -- docker/venv.Dockerfile Pipfile*; then echo "No changes detected in docker/venv.Dockerfile or the Pipfiles." echo "##vso[task.setvariable variable=VENV_CHANGED]False" + + if ! can_pull venv docker/venv.Dockerfile Pipfile*; then + # Venv image can't be pulled so it needs to be built. + # Therefore, the base image is needed too. + can_pull base docker/base.Dockerfile + fi else echo \ "Changes detected in docker/venv.Dockerfile or the Pipfiles;" \ |