Skip to content

fix(ci): reserve disk space for the Android emulator - #145

Merged
tiensonqin merged 1 commit into
mainfrom
devin/1793801308-android-ci-disk-space
Nov 4, 2026
Merged

tiensonqin merged 1 commit into
mainfrom
devin/1793801308-android-ci-disk-space

Conversation

@tiensonqin

@tiensonqin tiensonqin commented Nov 4, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Free space on GitHub-hosted Android E2E runners before restoring caches and installing the emulator. The Android job on #144 exhausted its disk while unpacking the API 34 system image, before emulator boot or UI execution.

Remove only the preinstalled .NET and Haskell SDKs, which neither Android nor the db-sync server uses, and report root-filesystem space before and after cleanup. Preserve the active opam switch, Android SDK/NDK and cross-toolchain caches; skip cleanup on self-hosted runners. No app code, test coverage or quality gates change.

Local validation: Android E2E runner, no-skip and native-build script tests passed; four native ABI packaging checks passed in the existing prepared checkout. Cleanup shell syntax and git diff --check passed. The cleanup was not executed against the development VM.

Link to Devin session: https://app.devin.ai/sessions/b0d139f566f447d8b3bea89406ec4b15
Open in Devin Desktop: https://app.devin.ai/desktop/session/b0d139f566f447d8b3bea89406ec4b15?variant=devin
Requested by: @tiensonqin


🟢 Devin Review found nothing to fix · View findings

Devin Review

@devin-ai-integration

Copy link
Copy Markdown

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no bugs or issues to report.

Devin Review

@tiensonqin
tiensonqin merged commit ed9a774 into main Nov 4, 2026
3 checks passed
@tiensonqin
tiensonqin deleted the devin/1793801308-android-ci-disk-space branch November 4, 2026 14:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant