Do not create genode folder inside base image #13883

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

Merged

giohappy merged 1 commit into master from remove_create_geonode_dir_from_base_image

Jan 14, 2026

+1 −2

Merged

Do not create genode folder inside base image #13883

Do not create genode folder inside base image

Codecov / codecov/patch succeeded Jan 14, 2026 in 1s

Coverage not affected when comparing 5ce993c...2e08c78

View this Pull Request on Codecov

Coverage not affected when comparing 5ce993c...2e08c78

View more details on Codecov