Clear space on free runner (#1747)

This commit is contained in:
Bart Louwers
2023-10-10 18:02:52 +02:00
committed by GitHub
parent e23aca5e9b
commit 50264beaa3

View File

@@ -57,6 +57,18 @@ jobs:
IS_LOCAL_DEVELOPMENT: false
MLN_ANDROID_STL: c++_static
steps:
- name: Free Disk Space (Ubuntu)
if: startsWith(runner.name, 'GitHub Actions')
uses: jlumbroso/free-disk-space@main
with:
tool-cache: false
android: false
dotnet: true
haskell: true
large-packages: true
docker-images: true
swap-storage: false
- uses: actions/checkout@v4
with:
submodules: recursive