Skip to content

[ci] Add check if any label is assined to new PR#12

Merged
AleksZimin merged 1 commit intomainfrom altermann1-patch-1Jan 18, 2024

Commits

Commits on Jan 16, 2024