Skip to content

[CI] Delete some more unneeded tools in GPU jobs#280

Open
giordano wants to merge 6 commits into
mainfrom
mg/ci-space
Open

[CI] Delete some more unneeded tools in GPU jobs#280
giordano wants to merge 6 commits into
mainfrom
mg/ci-space

Conversation

@giordano
Copy link
Copy Markdown
Member

@giordano giordano commented May 22, 2026

Ref #265.

@giordano
Copy link
Copy Markdown
Member Author

Ok, maybe I'll avoid mounting all of root. Also, I have an idea to try and further (slightly) reduce the size of the Docker image

Comment thread .github/workflows/ci.yml Outdated
@codecov
Copy link
Copy Markdown

codecov Bot commented May 22, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@navidcy navidcy added testing 🧪 trust but verify GPU 👾 the source of Ultimate Power labels May 22, 2026
@giordano
Copy link
Copy Markdown
Member Author

Before

Filesystem     Type      Size  Used Avail Use% Mounted on
overlay        overlay   100G   86G   15G  86% /

After

Filesystem     Type      Size  Used Avail Use% Mounted on
overlay        overlay   100G   45G   56G  45% /

With the df commands at the end we should also be able to track how much space we still have at the end, and understand what partition is being filled.

Side note, every time we get a VM with a different software stack on the host, this is annoying 😩

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

GPU 👾 the source of Ultimate Power testing 🧪 trust but verify

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants