Fix github action by maximizing build space

.github/workflows/build.yaml

@@ -16,6 +16,22 @@ jobs:
   docker:
     runs-on: ubuntu-latest
     steps:
+      -
+        name: Stop docker
+        run: sudo service docker stop
+      -
+        name: Maximize build space
+        uses: easimon/maximize-build-space@master
+        with:
+          build-mount-path: /var/lib/docker/
+          remove-dotnet: 'true'
+          remove-android: 'true'
+          remove-haskell: 'true'
+          remove-codeql: 'true'
+          remove-docker-images: 'true'
+      -
+        name: Start docker
+        run: sudo service docker start
       -
         name: Checkout
         uses: actions/checkout@v3