Skip to content

Short name of build directory from build to b in conda CI#1551

Merged
traversaro merged 1 commit intomasterfrom traversaro-patch-9Nov 28, 2023