Re: [PATCH v3 4/5] CI: use "$runs_on_pool", not "$jobname" to select packages & config
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Nov 21, 2021, 07:21 UTC
- Message-ID
- <xmqq1r3anfck.fsf@gitster.g>
- In-Reply-To
- <patch-v3-4.5-54913e775c1-20211120T115414Z-avarab@gmail.com>
Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:
Show 10 quoted lines
> -case "$jobname" in > -linux-clang|linux-gcc|linux-leaks) > +case "$runs_on_pool" in > +ubuntu-latest) > sudo apt-get -q update > ... > ;; > -osx-clang|osx-gcc) > +macos-latest) > export HOMEBREW_NO_AUTO_UPDATE=1 HOMEBREW_NO_INSTALL_CLEANUP=1
Indeed this is nice improvement in maintainability.