Skip to content

.github: update workflow permissions#16

Merged
changkun merged 1 commit intomainfrom
github-workflow
Dec 23, 2025
Merged

.github: update workflow permissions#16
changkun merged 1 commit intomainfrom
github-workflow

Conversation

@changkun
Copy link
Collaborator

No description provided.

@changkun changkun marked this pull request as ready for review December 23, 2025 13:11
@changkun changkun merged commit dbc6d8e into main Dec 23, 2025
4 checks passed
@changkun changkun deleted the github-workflow branch December 23, 2025 13:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant