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


1
2
3
4
5
6
7
8
9
10

#!/bin/bash
set -euo pipefail

script_dir=$(dirname "$0")

if [[ "${RUNNER_OS:-}" == "Windows" ]]; then
    pwsh $script_dir/free-disk-space-windows.ps1
else
    $script_dir/free-disk-space-linux.sh
fi