Skip to content
GitLab
Explore
Sign in
ci: Include subprojects in dist
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jan Tojnar
requested to merge
wip/jtojnar/ci-dist-sub
into
main
Jan 08, 2025
Overview
10
Commits
1
Pipelines
1
Changes
1
Expand
Fixes:
#2748 (closed)
Follow up to
!2186 (merged)
, cc
@pwithnall
Merge request reports
Loading