Skip to content

ci: explicit permissions and remove pull_request_target#704

Merged
grdsdev merged 1 commit intomainfrom
chore-review-actions
Apr 22, 2025
Merged

ci: explicit permissions and remove pull_request_target#704
grdsdev merged 1 commit intomainfrom
chore-review-actions

Commits

Commits on Apr 10, 2025