Attempt to fix CI

Author: grst

.github/workflows/ci.yml

@@ -35,6 +35,12 @@ jobs:
             "test,docker --aligner universc -stub",
           ]
     steps:
+      - name: Free some space
+        run: |
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf "/usr/local/share/boost"
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY"
       - name: Check out pipeline code
         uses: actions/checkout@v3