Skip to content

Add CI workflow to synchronize with shared repository labels#5

Merged
MatteoPologruto merged 1 commit intomainfrom
sync-labels
Jul 12, 2023

Commits

Commits on Jul 12, 2023