Merge branch 'main' into pos_and_eq_deletes

Author: mbutrovich

.github/workflows/ci.yml

@@ -89,6 +89,18 @@ jobs:
           - macos-latest
           - windows-latest
     steps:
+      - name: Maximize build space (Ubuntu)
+        if: matrix.os == 'ubuntu-latest'
+        uses: easimon/maximize-build-space@master
+        with:
+          remove-dotnet: "true"
+          remove-android: "true"
+          remove-haskell: "true"
+          remove-codeql: "true"
+          remove-docker-images: "true"
+          root-reserve-mb: 10240
+          temp-reserve-mb: 10240
+
       - uses: actions/checkout@v5
 
       - name: Setup Rust toolchain