diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh
index 0deed90ea8..5872135233 100755
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@@ -5,7 +5,9 @@
 
 XOLDPWD=$PWD  # profile changes directory :-(
 
-. ~/.profile
+if [ -z "$GITHUB_ACTIONS" ] || [ "$GITHUB_ACTIONS" != "true" ]; then
+  . ~/.profile
+fi
 
 if [ "$CI" = "true" ]; then
   export PIP_ROOT_USER_ACTION=ignore