Skip to content
GitLab
Explore
Sign in
Size optimization and pipeline integration
Code
Review changes
Check out branch
Download
Patches
Plain diff
Luca Porzio (moved to HZB account)
requested to merge
size_optimization
into
develop
Nov 10, 2023
Overview
0
Commits
3
Pipelines
1
Changes
3
Expand
Add clean up instruction in Dockerfile to remove source files and apt cache
Add CI pipeline
Add Readme
Merge request reports
Loading