Skip to content
GitLab
Explore
Sign in
Register
profiles: Fix script and add target profiles
Code
Review changes
Check out branch
Download
Patches
Plain diff
Arne Jonsson
requested to merge
arjo_profiles
into
devel
Oct 11, 2023
Overview
17
Commits
7
Pipelines
0
Changes
18
Expand
FYI:
@piotr.kubik
@jani
@dariusz.iwanoczko
Fix list command to script
Use profiles/include directory for common files
Fix and add more target profiles
Merge request reports