250731.123901.PDT update verify_small/big/larg.yml

Author: zaikunzhang

.github/scripts

@@ -36,6 +36,18 @@ jobs:
 
     steps:
 
+      - name: Free disk space
+        uses: jlumbroso/free-disk-space@main
+        if: startsWith(matrix.os, 'ubuntu')
+        with:
+          # all of these default to true, but feel free to set to "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: true
+          swap-storage: false  # Important, or the runner may be shut down due to memory starvation.
+
       - name: Clone Repository (Latest)
         uses: actions/[email protected]
         if: github.event.inputs.git-ref == ''

.github/workflows/verify_big.yml

@@ -36,6 +36,18 @@ jobs:
 
     steps:
 
+      - name: Free disk space
+        uses: jlumbroso/free-disk-space@main
+        if: startsWith(matrix.os, 'ubuntu')
+        with:
+          # all of these default to true, but feel free to set to "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: true
+          swap-storage: false  # Important, or the runner may be shut down due to memory starvation.
+
       - name: Clone Repository (Latest)
         uses: actions/[email protected]
         if: github.event.inputs.git-ref == ''

.github/workflows/verify_large.yml

@@ -35,6 +35,17 @@ jobs:
 
     steps:
 
+      - name: Free disk space
+        uses: jlumbroso/free-disk-space@main
+        if: startsWith(matrix.os, 'ubuntu')
+        with:
+          # all of these default to true, but feel free to set to "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: true
+          swap-storage: false  # Important, or the runner may be shut down due to memory starvation.
       - name: Clone Repository (Latest)
         uses: actions/[email protected]
         if: github.event.inputs.git-ref == ''