CI: Run Android SDK removal in the background to speed up the job #12271
+2
−2
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
We were spending up to 30% of our CI time just on clearing up disk space for the compilation of our own code. It would be best if GitHub offered a bit more free disk space on their runners, but unfortunately they only guarantee 14 GB.
This PR changes the step that deletes the Android SDK (~10GB) to run in the background. AFAICT this does not seem to significantly affect the performance of the other steps in the workflow, but it does mean that we no longer spend 3-4 minutes just deleting files before we actually start to work on something useful (download crates, compiling crates, testing our code).