Skip to content

ci: remove needless pull_request.types#209

Merged
kou merged 1 commit intored-data-tools:masterfrom
kou:ci-pull-request
May 8, 2025
Merged

ci: remove needless pull_request.types#209
kou merged 1 commit intored-data-tools:masterfrom
kou:ci-pull-request

Commits

Commits on May 8, 2025