| commit | 435d201dc6d4a52c86808dae604f0b1b78fdb59c | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 28 01:24:25 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 28 01:24:25 2024 -0400 |
| tree | 4ea52d92ea49349274c8b9c53b030cf15dcbc215 | |
| parent | 5b9431de45ec0b1b37d51813c403a0163e84c969 [diff] [blame] |
Prepare release 24.07 Refs: #5323 Change-Id: I9db0bcdd1e6324d16ef6db7ecbba309fa15040be
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index ff318f2..f067118 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