Skip to content

added -s flag to adore_setup.sh to skip all prereq checks #3

added -s flag to adore_setup.sh to skip all prereq checks

added -s flag to adore_setup.sh to skip all prereq checks #3

Workflow file for this run

name: CI
on: push
jobs:
CI:
runs-on: ubuntu-latest
steps:
- name: Init
run: |
df -h
sudo apt-get update
- name: Maximize free space
uses: jlumbroso/free-disk-space@main
with:
tool-cache: true
android: true
dotnet: true
haskell: true
large-packages: true
docker-images: true
swap-storage: true
- name: Freespace Check
run: |
df -h
REQUIRED_FREE_SPACE=25
free_space=$(df -h . | awk '{print $4}' | grep "G")
free_space="${free_space%G}"
if [ -z "$free_space" ]; then
echo "ERROR: free_space variable is empty or not set." >&2
exit 1
fi
df -h
echo "Free space (required): ${REQUIRED_FREE_SPACE} GB"
echo "Free space (available): ${free_space} GB"
if (( REQUIRED_FREE_SPACE > free_space )); then
echo "ERROR: Insufficient free space: ${free_space} GB available, ${REQUIRED_FREE_SPACE} GB required." >&2
exit 1
fi
- name: Install requirements
run: |
df -h
sudo apt-get update
sudo apt-get install -y make curl
- name: ADORe Setup Test
run: |
df -h
bash <(curl -sSL https://raw.githubusercontent.com/DLR-TS/adore_tools/master/tools/adore_setup.sh) --headless