Skip to content

Move options to global.conf#15

Merged
Bronek merged 2 commits intomainfrom
move_options_to_globalconf
Jul 21, 2025
Merged

Move options to global.conf#15
Bronek merged 2 commits intomainfrom
move_options_to_globalconf

Conversation

@Bronek
Copy link
Collaborator

@Bronek Bronek commented Jul 21, 2025

We are currently storing the minimum required compiler options in profiles/default . This change will move them to global.conf, making it easier to consume the generated image from CI workflows.

@Bronek Bronek requested a review from bthomee July 21, 2025 10:56
@Bronek Bronek merged commit 7cb60cf into main Jul 21, 2025
39 checks passed
@Bronek Bronek deleted the move_options_to_globalconf branch July 21, 2025 11:19
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