CI: free disk with in-tree script instead of GitHub Action

Author: marcoieni

.github/workflows/ci.yml

@@ -109,7 +109,7 @@ jobs:
       # intensive jobs to run on free runners, which however also have
       # less disk space.
       - name: free up disk space
-        uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be
+        run: src/ci/scripts/free-disk-space.sh
         if: matrix.free_disk
 
       # Rust Log Analyzer can't currently detect the PR number of a GitHub

src/ci/scripts/free-disk-space.sh

@@ -0,0 +1,151 @@
+#!/bin/bash
+
+# Free disk space on Linux GitHub action runners
+# Script inspired by https://github.com/jlumbroso/free-disk-space
+
+# print a line of the specified character
+printSeparationLine() {
+    for ((i=0; i < 80; i++)); do
+        printf "$1"
+    done
+    printf "\n"
+}
+
+# compute available space
+# REF: https://unix.stackexchange.com/a/42049/60849
+# REF: https://stackoverflow.com/a/450821/408734
+getAvailableSpace() { echo $(df -a $1 | awk 'NR > 1 {avail+=$4} END {print avail}'); }
+
+# make Kb human readable (assume the input is Kb)
+# REF: https://unix.stackexchange.com/a/44087/60849
+formatByteCount() { echo $(numfmt --to=iec-i --suffix=B --padding=7 $1'000'); }
+
+# macro to output saved space
+printSavedSpace() {
+    local saved=${1}
+    local title=${2:-}
+
+    echo ""
+    printSeparationLine "*"
+    if [ -n "${title}" ]; then
+        echo "=> ${title}: Saved $(formatByteCount "$saved")"
+    else
+        echo "=> Saved $(formatByteCount "$saved")"
+    fi
+    printSeparationLine "*"
+    echo ""
+}
+
+# macro to print output of df with caption
+printDF() {
+    local caption=$1
+
+    printSeparationLine "="
+    echo "${caption}"
+    echo ""
+    echo "$ df -h /"
+    echo ""
+    df -h /
+    printSeparationLine "="
+}
+
+removeDir() {
+    dir=${1}
+
+    local before=$(getAvailableSpace)
+
+    sudo rm -rf "$dir" || true
+
+    local after=$(getAvailableSpace)
+    local saved=$((after-before))
+    printSavedSpace $saved "$dir"
+}
+
+execAndMeasureSpaceChange() {
+    local operation=$1  # Function to execute
+    local title=$2
+
+    local before=$(getAvailableSpace)
+    $operation
+    local after=$(getAvailableSpace)
+    local saved=$((after-before))
+    printSavedSpace $saved "$title"
+}
+
+# Remove large packages
+# REF: https://github.com/apache/flink/blob/master/tools/azure-pipelines/free_disk_space.sh
+cleanPackages() {
+    local packages_to_remove=(
+        '^aspnetcore-.*'
+        '^dotnet-.*'
+        '^llvm-.*'
+        'php.*'
+        '^mongodb-.*'
+        '^mysql-.*'
+        'azure-cli'
+        'google-chrome-stable'
+        'firefox'
+        'powershell'
+        'mono-devel'
+        'libgl1-mesa-dri'
+        'google-cloud-sdk'
+        'google-cloud-cli'
+    )
+
+    for pkg in "${packages_to_remove[@]}"; do
+        sudo apt-get remove -y "$pkg" --fix-missing || echo "::warning::Failed to remove $pkg"
+    done
+
+    sudo apt-get autoremove -y || echo "::warning::The command [sudo apt-get autoremove -y] failed"
+    sudo apt-get clean || echo "::warning::The command [sudo apt-get clean] failed failed"
+}
+
+# Remove Docker images
+cleanDocker() {
+    echo "Removing the following docker images:"
+    sudo docker image ls
+    echo "Removing docker images..."
+    sudo docker image prune --all --force || true
+}
+
+# Remove Swap storage
+cleanSwap() {
+    sudo swapoff -a || true
+    sudo rm -rf /mnt/swapfile || true
+    free -h
+}
+
+# Display initial disk space stats
+
+AVAILABLE_INITIAL=$(getAvailableSpace)
+AVAILABLE_ROOT_INITIAL=$(getAvailableSpace '/')
+
+printDF "BEFORE CLEAN-UP:"
+echo ""
+
+removeDir /usr/local/lib/android
+removeDir /usr/share/dotnet
+
+# Haskell runtime
+removeDir /opt/ghc
+removeDir /usr/local/.ghcup
+
+execAndMeasureSpaceChange cleanPackages "Large misc. packages"
+execAndMeasureSpaceChange cleanDocker "Docker images"
+execAndMeasureSpaceChange cleanSwap "Swap storage"
+
+# Output saved space statistic
+
+AVAILABLE_END=$(getAvailableSpace)
+AVAILABLE_ROOT_END=$(getAvailableSpace '/')
+
+echo ""
+printDF "AFTER CLEAN-UP:"
+
+echo ""
+echo ""
+
+echo "/dev/root:"
+printSavedSpace $((AVAILABLE_ROOT_END - AVAILABLE_ROOT_INITIAL))
+echo "overall:"
+printSavedSpace $((AVAILABLE_END - AVAILABLE_INITIAL))