Skip to content

Conversation

@marc-hanheide
Copy link
Member

This pull request adds a step to the build_devcontainer workflow to free up disk space on the runner before building the dev container. This helps prevent disk space issues during CI runs.

Improvements to CI reliability:

  • .github/workflows/dev-container.yml: Added the jlumbroso/free-disk-space@v1 action to remove unnecessary files and packages, freeing up about 6 GB of disk space before starting the build process.

Added a step to free disk space in the dev container workflow.
@marc-hanheide marc-hanheide self-assigned this Nov 14, 2025
@marc-hanheide marc-hanheide merged commit 68cf38d into main Nov 14, 2025
2 checks passed
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