From a16926289b5425aba5ad4dc9e80243681749d7fd Mon Sep 17 00:00:00 2001 From: yuqi Date: Mon, 12 Aug 2024 10:01:33 +0800 Subject: [PATCH] Fix comments --- dev/ci/util_free_space.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dev/ci/util_free_space.sh b/dev/ci/util_free_space.sh index faae32ad04c..51fb3459b70 100755 --- a/dev/ci/util_free_space.sh +++ b/dev/ci/util_free_space.sh @@ -49,10 +49,10 @@ if [ "${GITHUB_ACTIONS}" = "true" ]; then sudo rm -rf /opt/hostedtoolcache/PyPy || : # 376MB sudo rm -rf /opt/hostedtoolcache/node || : - # free at least 10G, android is unless for Gravitino CI + # Free at least 10G, android is useless for Gravitino CI. sudo rm -rf /usr/local/lib/android || : - # .ghcup is installed by Haskell CI and useless for Gravitino CI - sudo rm -rf /usr/local/.ghcup + # Free at lease 5G, .ghcup is installed by Haskell CI and useless for Gravitino CI. + sudo rm -rf /usr/local/.ghcup || : # Remove Web browser packages if dpkg-query -l firefox;then sudo apt purge -y firefox