Merge pull request #136 from sameeul/update_docker_build

Update docker build
PolusAI · Aug 22, 2023 · e37c480 · e37c480
2 parents 696ee6b + 24fab59
commit e37c480
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/publish_docker.yml b/.github/workflows/publish_docker.yml
@@ -16,6 +16,9 @@ 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
+
     - uses: actions/checkout@v3
       with:
         submodules: recursive