Fix comments

yuqi1129 · Aug 12, 2024 · a169262 · a169262
1 parent 603ae7e
commit a169262
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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