Fix no space left on device error (#1588)

This commit is contained in:
Elbakyan Shirak 2023-07-25 11:02:19 -04:00 committed by GitHub
parent 1f5f196f3b
commit 1b15421796
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -30,6 +30,16 @@ jobs:
contents: write
steps:
- name: Free Disk Space
uses: jlumbroso/free-disk-space@main
with:
tool-cache: true
android: true
haskell: true
large-packages: true
docker-images: true
swap-storage: true
- name: Import GPG
uses: crazy-max/ghaction-import-gpg@v5
id: gpg_step
@ -91,6 +101,16 @@ jobs:
contents: write
steps:
- name: Free Disk Space
uses: jlumbroso/free-disk-space@main
with:
tool-cache: true
android: true
haskell: true
large-packages: true
docker-images: true
swap-storage: true
- name: Import GPG
uses: crazy-max/ghaction-import-gpg@v5
with: