| commit | 5d3d981f3b16db077ee202c23abf4f80bb661785 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 28 18:44:01 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 28 18:44:01 2024 -0400 |
| tree | aa0c3da55cc41ebd4c475af93950123936d06d46 | |
| parent | e1daa78d187ebfff273d5706c446420886077e88 [diff] [blame] |
Prepare release 0.5.6 Change-Id: Ia2372b6ea63b5c3c5cdfb0f2d9990b6537e47c74
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index 2bdc040..c20d217 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -36,6 +36,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