1
0
mirror of synced 2025-02-03 11:24:04 +00:00
Roman Zajic 2672b7bde4
fix: Coverage and PR workflows - no space left on device (#798)
* test: remove LLVM profiling

* fix: add on push

* test: use release mode

* test: remove Android support from the runner

* test: return back LLVM profiling
- remove dotnet

* fix: remove on push condition

* fix: prune-vm action added

* fix: move actions-checkout

* fix: PR workflow

* fix: remove on push condition from codecov
2024-09-30 23:46:18 +08:00

27 lines
858 B
YAML

# Inspired by https://github.com/AdityaGarg8/remove-unwanted-software
# to free up disk space. Currently removes Dotnet, Android and Haskell.
name: Remove unwanted software
description: Default GitHub runners come with a lot of unnecessary software
runs:
using: "composite"
steps:
- name: Disk space report before modification
shell: bash
run: |
echo "==> Available space before cleanup"
echo
df -h
- name: Maximize build disk space
shell: bash
run: |
set -euo pipefail
sudo rm -rf /usr/share/dotnet
sudo rm -rf /usr/local/lib/android
sudo rm -rf /opt/ghc
sudo rm -rf /usr/local/.ghcup
- name: Disk space report after modification
shell: bash
run: |
echo "==> Available space after cleanup"
echo
df -h