Skip to content

fix(ci): make the free disk space step faster#97

Merged
paullegranddc merged 1 commit intomainfrom
paullgdc/ci/free_disk_faster
Oct 2, 2025
Merged

fix(ci): make the free disk space step faster#97
paullegranddc merged 1 commit intomainfrom
paullgdc/ci/free_disk_faster

Conversation

@paullegranddc
Copy link
Collaborator

Free Disk Space is currently the longest step in the ubuntu test job, and lasts up to 8mn!! By not removing large packages, this is reduced to 4mn and increase the disk size by 4GB of packages, which should not be an issue

What does this PR do?

A brief description of the change being made with this pull request.

Motivation

What inspired you to submit this pull request?

Additional Notes

Anything else we should know when reviewing?

Free Disk Space is currently the longest step in the ubuntu test job, and lasts up to 8mn!!
By not removing large packages, this is reduced to 4mn and increase the disk size by 4GB of packages, which should not be an issue
@paullegranddc paullegranddc requested a review from a team as a code owner October 2, 2025 14:04
Copy link
Collaborator

@bantonsson bantonsson left a comment

Choose a reason for hiding this comment

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

Nice.

I wonder if disabling mandb makes a difference (I know it's updating the db a number of times).

https://stackoverflow.com/a/71669201

@paullegranddc
Copy link
Collaborator Author

I wonder if disabling mandb makes a difference (I know it's updating the db a number of times).

It works apparently
jlumbroso/free-disk-space#40

@paullegranddc
Copy link
Collaborator Author

There are other - unmerged - optimizations that look very promising. I think the repo is probably unmaintained, or at least passively maintained so I think it might be worth forking it and integrating all of the improvements

jlumbroso/free-disk-space#26

@paullegranddc paullegranddc merged commit 26794fc into main Oct 2, 2025
21 checks passed
@paullegranddc paullegranddc deleted the paullgdc/ci/free_disk_faster branch October 2, 2025 16:02
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