clean diskspace

PolusAI · Aug 21, 2023 · 24fab59 · 24fab59
1 parent fb42b19
commit 24fab59
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/publish_docker.yml b/.github/workflows/publish_docker.yml
@@ -16,8 +16,8 @@ jobs:
         shell: bash -l {0}
 
     steps:
-      - name: Create more disk space
-        run: sudo rm -rf /usr/share/dotnet && sudo rm -rf /opt/ghc && sudo rm -rf "/usr/local/share/boost" && sudo rm -rf "$AGENT_TOOLSDIRECTORY" && sudo df -H
+    - name: Create more disk space
+      run: sudo rm -rf /usr/share/dotnet && sudo rm -rf /opt/ghc && sudo rm -rf "/usr/local/share/boost" && sudo rm -rf "$AGENT_TOOLSDIRECTORY" && sudo df -H
 
     - uses: actions/checkout@v3
       with: