Skip to content

hotfix(ci): correctly detect repo name#7820

Merged
ammario merged 2 commits intomainfrom
fix-dd
Jun 2, 2023
Merged

hotfix(ci): correctly detect repo name#7820
ammario merged 2 commits intomainfrom
fix-dd

Commits

Commits on Jun 2, 2023