add permissions

amerintlxperts · May 31, 2024 · 6a64240 · 6a64240
1 parent 92a08a0
commit 6a64240
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
@@ -50,6 +50,13 @@ jobs:
           sudo rm -rf ${GITHUB_WORKSPACE}/.git || true
           sudo rm -rf "$AGENT_TOOLSDIRECTORY" || true
 
+      - name: Free Disk Space (Ubuntu)
+        uses: jlumbroso/free-disk-space@main
+        with:
+          # this might remove tools that are actually needed,
+          # if set to "true" but frees about 6 GB
+          tool-cache: false
+
       - name: Set up QEMU for multi-architecture builds
         uses: docker/setup-qemu-action@68827325e0b33c7199eb31dd4e31fbe9023e06e3