diff --git a/ci/deployArtifacts.sh b/ci/deployArtifacts.sh index 330d1f72..e2843b40 100755 --- a/ci/deployArtifacts.sh +++ b/ci/deployArtifacts.sh @@ -2,7 +2,7 @@ set -eou pipefail -echo "Running on host [$HOSTNAME]" +echo "Deploying artifacts on host [$HOSTNAME]" # User ID 1001 is "jenkins" # Group ID 1001 is "jenkins" diff --git a/ci/deployDocs.sh b/ci/deployDocs.sh index 89986c38..1bfff3cc 100755 --- a/ci/deployDocs.sh +++ b/ci/deployDocs.sh @@ -2,7 +2,7 @@ set -eou pipefail -echo "Running on host [$HOSTNAME]" +echo "Deploying docs on host [$HOSTNAME]" # User ID 1001 is "jenkins" # Group ID 1001 is "jenkins"