Skip to content

ci: change gen binary workflows to delete PR branche on merge#9

Merged
Pantani merged 1 commit intomainfrom ci/delete-binary-pr-branchesSep 18, 2023