free diskspace

.github/workflows/docker.yml

@@ -50,6 +50,18 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
+      # free up space
+      - name: Free Disk Space (Ubuntu)
+        uses: jlumbroso/free-disk-space@main
+        with:
+          tool-cache: true
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: false
+          swap-storage: true
+
       # calculate some variables that are used later
       - name: version information
         run: |