Skip to content

Commit

Permalink
Fix disk issues with Github runners (#796)
Browse files Browse the repository at this point in the history
* Remove some tools we don't need in order to free up disk space

* Add dependency to free-disk-space
  • Loading branch information
Niederb authored Aug 5, 2024
1 parent 277cf40 commit 42d8bf7
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,24 @@ jobs:
with:
access_token: ${{ secrets.GITHUB_TOKEN }}

free-disk-space:
runs-on: ubuntu-latest
steps:
- name: Free Disk Space (Ubuntu)
uses: jlumbroso/free-disk-space@main
with:
tool-cache: false
android: true
dotnet: true
haskell: true
large-packages: false
docker-images: false
swap-storage: false

build:
name: ${{ matrix.check }}
runs-on: ${{ matrix.os }}
needs: free-disk-space
strategy:
fail-fast: false
matrix:
Expand Down

0 comments on commit 42d8bf7

Please sign in to comment.