Merge pull request #102 from hmakelin/free-up-space-on-github-runner

Free up space on GitHub runner

.github/workflows/push_gisnav_images.yml

@@ -44,7 +44,13 @@ jobs:
           docker buildx create --use
 
       # TODO: try to use docker-compose.yaml file to avoid having to specify redundant build args here
+      # Remove some directories and apt dependencies to free up disk space
+      # for the multi-arch image
       - name: Build and push GISNav multi-arch Docker images
         run: |
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /usr/local/share/boost
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY"
           cd colcon_ws/src/gisnav
           docker buildx build --build-arg ROS_VERSION=humble --push --platform linux/amd64,linux/arm64 -f docker/gisnav/Dockerfile -t ghcr.io/hmakelin/gisnav:${TAG:-latest} .