Alter Windows CI disk limits (#24368)

Kirill Bulatov created 11 months ago

An attempt to fix
https://github.com/zed-industries/zed/actions/runs/13174780143/job/36771552892

Release Notes:

- N/A

Change summary

.github/workflows/ci.yml    | 3 ++-
script/setup-dev-driver.ps1 | 6 +++---
2 files changed, 5 insertions(+), 4 deletions(-)

Detailed changes

.github/workflows/ci.yml

@@ -279,7 +279,8 @@ jobs:
 
       - name: Check dev drive space
         working-directory: ${{ env.ZED_WORKSPACE }}
-        run: ./script/exit-ci-if-dev-drive-is-full.ps1 55
+        # `setup-dev-driver.ps1` creates a 100GB drive, with CI taking up ~45GB of the drive.
+        run: ./script/exit-ci-if-dev-drive-is-full.ps1 95
 
       # Since the Windows runners are stateful, so we need to remove the config file to prevent potential bug.
       - name: Clean CI config file

script/setup-dev-driver.ps1

@@ -3,8 +3,8 @@
 # The current version of the Windows runner is 10.0.20348 which does not support DevDrive option.
 # Ref: https://learn.microsoft.com/en-us/windows/dev-drive/
 
-# Currently, total CI requires almost 45GB of space, here we are creating a 60GB drive.
-$Volume = New-VHD -Path C:/zed_dev_drive.vhdx -SizeBytes 60GB |
+# Currently, total CI requires almost 45GB of space, here we are creating a 100GB drive.
+$Volume = New-VHD -Path C:/zed_dev_drive.vhdx -SizeBytes 100GB |
                     Mount-VHD -Passthru |
                     Initialize-Disk -Passthru |
                     New-Partition -AssignDriveLetter -UseMaximumSize |
@@ -15,7 +15,7 @@ $Drive = "$($Volume.DriveLetter):"
 # Show some debug information
 Write-Output $Volume
 Write-Output "Using Dev Drive at $Drive"
-    
+
 # Move Cargo to the dev drive
 New-Item -Path "$($Drive)/.cargo/bin" -ItemType Directory -Force
 Copy-Item -Path "C:/Users/runneradmin/.cargo/*" -Destination "$($Drive)/.cargo/" -Recurse -Force