Try extra disk space

.github/workflows/continuous_integration.yml

@@ -31,6 +31,27 @@ jobs:
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
+      - name: Print disk space
+        run: df -h
+
+      - name: Free Disk Space (Ubuntu)
+        uses: jlumbroso/free-disk-space@main
+        with:
+          # this might remove tools that are actually needed,
+          # if set to "true" but frees about 6 GB
+          tool-cache: false
+
+          # all of these default to true, but feel free to set to
+          # "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: true
+          swap-storage: true
+
+      - name: Print disk space
+        run: df -h
 
       - uses: actions/checkout@v3
 
@@ -88,6 +109,9 @@ jobs:
           git clone https://github.com/segasai/q3c.git
           make -C q3c
           sudo make -C q3c install
+          
+      - name: Print disk space
+        run: df -h
 
       # First make sure the doc tests are up to date
       - name: Run doc tests