Skip to content

Add CI workflow to synchronize with shared repository labels#37

Merged
MatteoPologruto merged 1 commit intomasterfrom
sync-labels
Sep 14, 2022
Merged

Add CI workflow to synchronize with shared repository labels#37
MatteoPologruto merged 1 commit intomasterfrom
sync-labels

Commits

Commits on Aug 19, 2022