CI: use alternative disks if available

cleaning up disk space takes a lot of time

Author: the8472

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

@@ -247,6 +247,47 @@ cleanSwap() {
     free -h
 }
 
+# Try to find a different drive to put our data on so we don't need to run cleanup.
+# The availability of the disks we're probing isn't guaranteed,
+# so this is opportunistic.
+checkAlternative() {
+    local mountpoint="/mnt"
+
+    # we need ~50GB of space
+    local space_target_kb=$((50 * 1024 * 1024))
+    local available_space_kb=$(df -k "$mountpoint" --output=avail | tail -n 1)
+
+    local mntopts="defaults,discard,async_journal_commit,barrier=0,noauto_da_alloc,lazytime,data=writeback"
+
+    # GHA has a 2nd disk mounted at /mnt that is almost empty
+    if mountpoint /mnt && [ "$available_space_kb" -ge "$space_target_kb" ]; then
+        local blkdev=$(df -k "$mountpoint" --output=source | tail -n 1)
+        echo "Sufficient space available on $blkdev mounted at $mountpoint"
+        sudo swapoff -a || true
+        mkdir ./obj
+        # remount with O_EATMYDATA while we're at it
+        sudo umount /mnt
+        sudo mount $blkdev ./obj -o $mntopts || sudo dmesg | tail -n 20
+
+        exit 0
+    fi
+
+    # ephemeral NVMe drives on AWS
+    for dev in /dev/nvme*n1; do
+        if [ -b "$dev" ] && [ "$(mount | grep "$dev" | wc -l)" -eq 0 ]; then
+            echo "Found unused block device $dev, creating filesystem"
+            sudo mkfs.ext4 -E lazy_itable_init=1,lazy_journal_init=1 "$dev"
+            mkdir ./obj
+            sudo mount "$dev" ./obj -o $mntopts
+
+            exit 0
+        fi
+    done
+}
+
+
+checkAlternative
+
 # Display initial disk space stats
 
 AVAILABLE_INITIAL=$(getAvailableSpace)