Skip to content

Store marked directories in Artifact proto#2093

Merged
juergbi merged 4 commits intomasterfrom
jbilleter/buildtree-shell
Nov 21, 2025
Merged

Store marked directories in Artifact proto#2093
juergbi merged 4 commits intomasterfrom
jbilleter/buildtree-shell

Commits

Commits on Nov 14, 2025