File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7171 - uses : actions/checkout@v4
7272
7373 - name : Free Disk Space (Ubuntu)
74- uses : jlumbroso /free-disk-space@v1.3.1
74+ uses : BRAINSia /free-disk-space@v2
7575 with :
76- large-packages : false
76+ removalmode : " rmz"
77+
78+ swap-storage : " true"
79+ haskell : " true"
80+ dotnet : " true"
81+ docker-images : " false" # Takes too long
82+ tool-cache : " true"
83+ android : " false" # Takes too long
84+ large-packages : " false" # Takes too long to remove apt-get packages
85+ mandb : " true" # Speeds up future apt-get installs (disables man page generation), this CI does not use apt-get
7786
7887 - name : ' Fetch build script'
7988 run : |
@@ -145,9 +154,18 @@ jobs:
145154 - uses : actions/checkout@v4
146155
147156 - name : Free Disk Space (Ubuntu)
148- uses : jlumbroso /free-disk-space@v1.3.1
157+ uses : BRAINSia /free-disk-space@v2
149158 with :
150- large-packages : false
159+ removalmode : " rmz"
160+
161+ swap-storage : " true"
162+ haskell : " true"
163+ dotnet : " true"
164+ docker-images : " false" # Takes too long
165+ tool-cache : " true"
166+ android : " false" # Takes too long
167+ large-packages : " false" # Takes too long to remove apt-get packages
168+ mandb : " true" # Speeds up future apt-get installs (disables man page generation), this CI does not use apt-get
151169
152170 - name : ' Fetch build script'
153171 run : |
You can’t perform that action at this time.
0 commit comments