]> git.openstreetmap.org Git - nominatim.git/commitdiff
CI: remove unneed stuff to make space for DB
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 3 Jul 2022 12:52:16 +0000 (14:52 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Sun, 3 Jul 2022 14:42:57 +0000 (16:42 +0200)
.github/actions/build-nominatim/action.yml

index 042166ad7fc357a8b4b129961290e2e3ae0cf147..c6ff7a31ca599caff9e35b51081e88ebc0c1fd28 100644 (file)
@@ -14,6 +14,11 @@ runs:
     using: "composite"
 
     steps:
+        - name: Clean out the disk
+          run: |
+            sudo rm -rf /opt/hostedtoolcache/go /opt/hostedtoolcache/CodeQL /usr/lib/jvm /usr/local/share/chromium /usr/local/lib/android
+            df -h
+          shell: bash
         - name: Install prerequisites
           run: |
             sudo apt-get install -y -qq libboost-system-dev libboost-filesystem-dev libexpat1-dev zlib1g-dev libbz2-dev libpq-dev libproj-dev libicu-dev