Skip to content

chore: Add PR title workflow#6

Merged
erezrokah merged 1 commit intomainfrom
chore/add_pr_title_workflow
Jul 28, 2023
Merged

chore: Add PR title workflow#6
erezrokah merged 1 commit intomainfrom
chore/add_pr_title_workflow

Commits

Commits on Jul 28, 2023