Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cleanup disk before running CI tests on ubuntu #3331

Merged
merged 4 commits into from
Oct 14, 2023
Merged

Cleanup disk before running CI tests on ubuntu #3331

merged 4 commits into from
Oct 14, 2023

Conversation

CloseChoice
Copy link
Collaborator

@CloseChoice CloseChoice commented Oct 13, 2023 •
edited

Overview

Closes #3330

Description of the changes proposed in this pull request:

Checklist

  • All pre-commit checks pass.
  • [ ] Unit tests added (if fixing a bug or adding a new feature)

@CloseChoice CloseChoice marked this pull request as ready for review October 13, 2023 15:22
@CloseChoice CloseChoice changed the title WIP: show largest folders with cleanup Cleanup disk before running CI tests on ubuntu Oct 13, 2023
thatlittleboy
thatlittleboy approved these changes Oct 14, 2023
View reviewed changes
Copy link
Collaborator

@thatlittleboy thatlittleboy left a comment

Choose a reason for hiding this comment

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

I'll just merge this in first to not block the rest of the PRs, the tests seem to run fine

dog-in-front-of-laptop-lgtm

@thatlittleboy thatlittleboy added ci Relating to Continuous Integration / GitHub Actions skip-changelog PRs that should be excluded from the changelog labels Oct 14, 2023
@thatlittleboy thatlittleboy merged commit 3ac66fb into shap:master Oct 14, 2023
9 checks passed
@CloseChoice CloseChoice deleted the FIX-clean-ubuntu-before-test-run branch October 14, 2023 08:39
@connortann connortann mentioned this pull request Oct 15, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@thatlittleboy thatlittleboy thatlittleboy approved these changes

Assignees
No one assigned
Labels
ci Relating to Continuous Integration / GitHub Actions skip-changelog PRs that should be excluded from the changelog
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

CI: GH Actions encounter "No space left on device" unless unused CI tools are removed
2 participants
@CloseChoice @thatlittleboy