commit | 0751bba88021b745c1a0ab7198efd279756c9a3c | [log] [tgz] |
---|---|---|
author | Davide Pesavento <davidepesa@gmail.com> | Sat Jul 27 20:20:24 2024 -0400 |
committer | Davide Pesavento <davidepesa@gmail.com> | Sat Jul 27 20:20:24 2024 -0400 |
tree | 1c9b258606f554c76cd894440873766faa70eeab | |
parent | 7fffb72de766109793fc874b52b524a8cfb2a8f8 [diff] [blame] |
Prepare release 0.9.0 Refs: #5323 Change-Id: Ifd67ae391221916679e79b7a321163792ca3af95
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index 0128e26..b0e54a0 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -35,6 +35,7 @@ set -x if [[ $ID == macos ]]; then + export HOMEBREW_NO_ENV_HINTS=1 if [[ -n $GITHUB_ACTIONS ]]; then export HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK=1 fi