From e55c4282cba42ff1772e24c3da6a51fcae6a504b Mon Sep 17 00:00:00 2001
From: Jiahao XU <30436523+NobodyXu@users.noreply.github.com>
Date: Sun, 25 Aug 2024 20:48:16 +1000
Subject: [PATCH] Use dev drive for target

which is the most write-heavy part.

The read to the workspace can be cached as it is really small

Signed-off-by: Jiahao XU <30436523+NobodyXu@users.noreply.github.com>
---
 .github/actions/just-setup/action.yml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/.github/actions/just-setup/action.yml b/.github/actions/just-setup/action.yml
index bc718576..cbc4bd3d 100644
--- a/.github/actions/just-setup/action.yml
+++ b/.github/actions/just-setup/action.yml
@@ -24,12 +24,9 @@ runs:
   - uses: samypr100/setup-dev-drive@v3
     if: runner.os == 'Windows'
     with:
-      workspace-copy: true
-      drive-size: 6GB
+      mount-path: ${{ github.workspace }}/target
+      drive-size: 5GB
       drive-type: Fixed
-      env-mapping: |
-        CARGO_HOME,{{ DEV_DRIVE }}/.cargo
-        RUSTUP_HOME,{{ DEV_DRIVE }}/.rustup
   
   - name: Add just to tools to install
     run: echo "tools=just" >>"$GITHUB_ENV"