[meta] a few changes to prevent duplicate dep builds#4535

Merged

sunshowers merged 2 commits intomainfrom sunshowers/spr/meta-a-few-changes-to-prevent-duplicate-dep-builds

Nov 21, 2023

+70-56

Commits on Nov 21, 2023