Try getting more space for GitHub Actions

YanWenKun · Oct 4, 2023 · 4f6937d · 4f6937d
1 parent 6cf9817
commit 4f6937d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/build-regular.yml b/.github/workflows/build-regular.yml
@@ -24,9 +24,8 @@ jobs:
       - name: Maximize build disk space
         uses: easimon/maximize-build-space@master
         with:
+          temp-reserve-mb: 10240
           remove-android: 'true'
-          remove-haskell: 'true'
-          remove-codeql: 'true'
       - 
         name: Git checkout
         uses: actions/checkout@v3