Merge pull request #1181 from rust-lang/maint

Maintenance

Author: shepmaster

.github/workflows/ci.yml

@@ -141,6 +141,8 @@ jobs:
       uses: actions/checkout@v4
       with:
         ref: "${{ github.event.pull_request.head.sha }}"
+    - name: Recover disk space
+      run: sudo rm -rf /usr/local/lib/android
     - name: Configure Ruby
       uses: ruby/setup-ruby@v1
       with:

ci/workflows.yml

@@ -230,6 +230,10 @@ workflows:
         steps:
           - *checkout_pr
 
+          - name: Recover disk space
+            run: |-
+              sudo rm -rf /usr/local/lib/android
+
           - name: "Configure Ruby"
             uses: ruby/setup-ruby@v1
             with: