aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcoqbot-app[bot]2020-12-10 08:47:30 +0000
committerGitHub2020-12-10 08:47:30 +0000
commit358e923ea477fff4ffe9ebac9c1910a65afe9e90 (patch)
tree8fc6c1d6ab01f3e95250950bab01c95e607ee317
parentcc9f22d03a3a5549c14d8bc2c399320a7a5bfc2f (diff)
parentd5ce3e85473dc859ce25050ec2ff7a214aa2ba1a (diff)
Merge PR #13605: [osx] disable brew cleanup
Reviewed-by: Zimmi48
-rw-r--r--azure-pipelines.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 11f225bdb6..761c22ec60 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -62,6 +62,7 @@ jobs:
- script: |
set -e
+ export export HOMEBREW_NO_INSTALL_CLEANUP=1
brew install gnu-time opam gtksourceview3 adwaita-icon-theme
pip3 install macpack
displayName: 'Install system dependencies'