| commit | bcd76833da643219e090eb6f217d50e479354f8f | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Jul 19 16:00:01 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Jul 19 16:00:01 2024 -0400 |
| tree | c09bda0c2793a365cbad93ea01e95f08c09327c1 | |
| parent | b6adfe10c34c96eeb1439de0a2788d7992aebae0 [diff] [blame] |
ci: add release workflow [skip ci] Change-Id: I1d493d0087283d1ed1f0c2b2e48bedbfa168d5bc
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