Skip to content

Investigate "No space left on device" CI error on PRs#1671

Closed
Eliah Kagan (EliahKagan) wants to merge 2 commits intoGitoxideLabs:mainfrom
EliahKagan:run-ci/investigate-ci-space
Closed

Investigate "No space left on device" CI error on PRs#1671
Eliah Kagan (EliahKagan) wants to merge 2 commits intoGitoxideLabs:mainfrom
EliahKagan:run-ci/investigate-ci-space

Conversation

@EliahKagan
Copy link
Copy Markdown
Member

@EliahKagan Eliah Kagan (EliahKagan) commented Nov 12, 2024

The problem seems to happen only on the upstream repository, or maybe only on PRs from forks. This initially makes no changes, to verify that the problem does not simply happen regardless of content. After that, it cherry-picks 5173e9a from #1668 (to f491909) to see if the problem can be observed with just that.

See #1668, and in particular #1668 (comment), as well as EliahKagan#3, and EliahKagan#4, for details.

The problem seems to happen only on the upstream repository, or
maybe only on PRs from forks. This initially makes no changes, to
verify that the problem does not simply happen regardless of
content.

See GitoxideLabs#1668, and in particular
GitoxideLabs#1668 (comment),
as well as #3, and #4, for details.
@EliahKagan
Copy link
Copy Markdown
Member Author

Per #1668 (comment), I'll probably close this shortly.

@EliahKagan Eliah Kagan (EliahKagan) deleted the run-ci/investigate-ci-space branch November 12, 2024 10: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.

2 participants