From 07f97c65b3e02fd16e97cb7c93d5a953447f0649 Mon Sep 17 00:00:00 2001 From: Sayan Nandan Date: Fri, 16 Oct 2020 12:45:31 +0530 Subject: [PATCH] Optimize CI script --- ci/dockervars.sh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/ci/dockervars.sh b/ci/dockervars.sh index f1759842..9b55e318 100644 --- a/ci/dockervars.sh +++ b/ci/dockervars.sh @@ -1,9 +1,10 @@ +# This script checks if any source files were modified in a push event +# If source files were indeed modified, then this script sets `BUILD=true` + set -euo pipefail -RS_CHANGED_COUNT=$(git diff --numstat HEAD^..HEAD -- '*.rs' | wc -l) -DOCKERFILE_CHANGED=$(git diff --numstat HEAD^..HEAD -- 'Dockerfile' | wc -l) -DOCKER_CI_CHANGED=$(git diff --numstat HEAD^..HEAD -- 'docker-image.yml' | wc -l) +SRC_CHANGED_COUNT=$(git diff --numstat HEAD^..HEAD -- '*.rs' '*.yml' '*.toml' 'Dockerfile' | wc -l) -if [ '$RS_CHANGED_COUNT' != "0" ] || [ '$DOCKERFILE_CHANGED' != "0" ] || [ '$DOCKER_CI_CHANGED' != "0" ]; then +if [ '$SRC_CHANGED_COUNT' != "0" ]; then echo "The docker image has to be built" echo "BUILD=true" >>$GITHUB_ENV fi