| commit | a1480a7c947dc6a48ee12c6c0637fc488c0c73a1 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 28 00:24:25 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 28 00:24:25 2024 -0400 |
| tree | b5959eedbdeebf9d5561ccca31a28a2a6078eb3a | |
| parent | 543b1524ec0de506fc94b145de19b3dcdd0d950a [diff] |
Prepare release 24.07 Refs: #5323 Change-Id: Ia42962bc937083a67b8be84bbcba09c76f1afaa1
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index ad3828e..f12feaa 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -37,6 +37,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