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