Merge branch 'dev'

ellakcy · Jul 17, 2023 · f8cfaaa · f8cfaaa
2 parents fe71368 + 89530ca
commit f8cfaaa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/build_docker.sh b/.github/build_docker.sh
@@ -83,7 +83,8 @@ PARAMS=${TAGS[@]/#/"-t ellakcy/moodle:"}
 
 echo "Running:" 
 echo "docker build --build-arg DB_TYPE=${DB_TYPE} -f ${DOCKERFILE} ${PARAMS} --force-rm . "
-docker build --build-arg PHP_VERSION=${PHP_VERSION} --build-arg DB_TYPE=${DB_TYPE} --build-arg VERSION=${VERSION} -f ${DOCKERFILE} ${PARAMS} --force-rm --no-cache .
+
+docker build --pull --build-arg PHP_VERSION=${PHP_VERSION} --build-arg DB_TYPE=${DB_TYPE} --build-arg VERSION=${VERSION} -f ${DOCKERFILE} ${PARAMS} --force-rm --no-cache .
 
 BRANCH=${GITHUB_REF##*/}