Skip to content

ci: reclaim disk space before lint to avoid runner ENOSPC#33

Merged
skevetter merged 1 commit into
mainfrom
ci/lint-free-disk-space
Jun 30, 2026
Merged

ci: reclaim disk space before lint to avoid runner ENOSPC#33
skevetter merged 1 commit into
mainfrom
ci/lint-free-disk-space

Conversation

@skevetter

Copy link
Copy Markdown
Contributor

Summary

The Lint job intermittently fails with No space left on device on GitHub-hosted runners (~2 of last 12 runs). This adds jlumbroso/free-disk-space as the first step to reclaim ~20GB (Android SDK, .NET, Haskell, preinstalled Docker images) before checkout.

Slow/low-value removals (tool-cache, large-packages, swap-storage) are disabled to keep the added overhead to ~30s.

This is a trial on devsy-provider-ssh; if it resolves the flakiness, the same change can be rolled to the other providers (they share an identical lint.yaml).

The Lint job intermittently fails with 'No space left on device' on
GitHub-hosted runners. Reclaim ~20GB via jlumbroso/free-disk-space
(Android/.NET/Haskell/Docker images) before checkout. Slow removals
(tool-cache, large apt packages, swap) are disabled to keep overhead low.
@coderabbitai

coderabbitai Bot commented Jun 30, 2026

Copy link
Copy Markdown

Caution

Review failed

An error occurred during the review process. Please try again later.


Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@skevetter
skevetter enabled auto-merge (squash) June 30, 2026 15:49
@skevetter
skevetter merged commit aae741a into main Jun 30, 2026
7 checks passed
@skevetter
skevetter deleted the ci/lint-free-disk-space branch June 30, 2026 15:55
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