Skip to content
Back to pull request #10951

build: distribute IDE project trees per-directory to fix "make dist" #12627

Sign in to view logs

build: distribute IDE project trees per-directory to fix "make dist"

build: distribute IDE project trees per-directory to fix "make dist" #12627

0.9.13

0.9.13
succeeded Jul 20, 2026 in 24s