Add CI workflow to synchronize with shared repository labels#37
Merged
MatteoPologruto merged 1 commit intomasterfrom Sep 14, 2022
Merged
Add CI workflow to synchronize with shared repository labels#37MatteoPologruto merged 1 commit intomasterfrom
MatteoPologruto merged 1 commit intomasterfrom