Skip to content

(DRAFT) ci: try freeing some disk space for gui tests #3071

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
Merged
GuillaumeGomez merged 1 commit into from
Dec 8, 2025
Merged

(DRAFT) ci: try freeing some disk space for gui tests #3071

GuillaumeGomez merged 1 commit into from
Dec 8, 2025

Conversation

@syphar
Copy link
Member

@syphar syphar commented Dec 7, 2025 •
edited
Loading

alternative approaches that would take more time:

  • use the docker images from the docker CI jobs instead of building our own
  • figure out where exactly the disk space is used

@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Dec 7, 2025
@syphar syphar marked this pull request as ready for review December 8, 2025 07:34
@syphar syphar requested a review from a team as a code owner December 8, 2025 07:34
@syphar
Copy link
Member Author

syphar commented Dec 8, 2025

@GuillaumeGomez I think this will help :)

@syphar syphar self-assigned this Dec 8, 2025
@GuillaumeGomez
Copy link
Member

GuillaumeGomez commented Dec 8, 2025

CI passed so should be good. Thanks!

@GuillaumeGomez GuillaumeGomez merged commit b1e2a48 into rust-lang:main Dec 8, 2025
20 checks passed
@GuillaumeGomez GuillaumeGomez deleted the gui-test-space branch December 8, 2025 10:07
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Dec 8, 2025
@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Dec 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@GuillaumeGomez GuillaumeGomez GuillaumeGomez approved these changes

Assignees

@syphar syphar

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@syphar @GuillaumeGomez