diff --git a/deploy.sh b/deploy.sh
index cce32ee6e..e560716aa 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -4,6 +4,7 @@ set -e
 
 # shellcheck source=scripts/build_step.inc.sh
 source "$(dirname "${0}")/scripts/build_step.inc.sh"
+# shellcheck source=build.env
 source "$(dirname "${0}")/build.env"
 
 BRANCH_NAME=${BRANCH_NAME:-""}