Fix github action by maximizing build space

.github/workflows/build.yaml

@@ -13,6 +13,19 @@ jobs:
   docker:
     runs-on: ubuntu-latest
     steps:
+      -
+        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: Restart docker
+        run: sudo service docker restart
       -
         name: Checkout
         uses: actions/checkout@v3